واژه‌نامه نظریه مجموعه‌ها

درآمد به منطق و رایانش

بخشی از عبارت را بنویسید:
۰۰۱-۰۰۵-۰۰۱/۰۴ℕ
<X,Y> ۰۰۱-۰۰۴-۰۰۱/۰۵Ordered pairs
(X,Y) ۰۰۱-۰۰۴-۰۰۱/۰۴Ordered pairs
∅ ۰۰۱-۰۰۳-۰۰۱/۲۶Empty set
∈ ۰۰۱-۰۰۶-۰۰۱/۰۵Membership in NBG
∈ ۰۰۱-۰۰۲-۰۰۱/۱۴Belonging
∩ ۰۰۱-۰۰۴-۰۰۱/۱۹Intersection of sets
∩(A) ۰۰۱-۰۰۴-۰۰۱/۱۷Intersection set
∪ ۰۰۱-۰۰۴-۰۰۱/۱۲Union of sets of sets
∪(A) ۰۰۱-۰۰۴-۰۰۱/۰۹Union set
≅ ۰۰۱-۰۱۰-۰۰۱/۰۸≅
⊂ ۰۰۱-۰۰۳-۰۰۱/۲۱Proper Subset
⊆ ۰۰۱-۰۰۳-۰۰۱/۱۷Subset
⚬ ۰۰۱-۰۰۱-۰۰۱/۱۸0
۱:۱ ۰۰۱-۰۰۴-۰۰۱/۱۳1:1
A \ B ۰۰۱-۰۰۴-۰۰۱/۲۲Difference of sets
A ∆ B ۰۰۱-۰۰۴-۰۰۱/۲۴Symmetric Difference of sets
A×B ۰۰۱-۰۰۴-۰۰۱/۳۱Cartesian product of sets
AC ۰۰۱-۰۰۶-۰۰۱/۰۲Axiom of Choice
n تایی‌ مرتب ۰۰۱-۰۰۳-۰۰۱/۰۵Ordered n-ary
NBG ۰۰۱-۰۰۲-۰۰۱/۱۹Neumann-Bernays-Godel system
NBG ۰۰۱-۰۰۲-۰۰۱/۲۲**No Eng Tit**
NBG: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۴Neumann-Bernays-Godel
Ƥ(A) ۰۰۱-۰۰۴-۰۰۱/۲۶Intersection set
X+ ۰۰۱-۰۰۴-۰۰۱/۱۴Immediate successor set
ZF ۰۰۱-۰۰۲-۰۰۱/۱۸Zermelo-Fraenkel system
ZF: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۲ZF
ZF+C ۰۰۱-۰۰۲-۰۰۱/۲۱Zermelo-Fraenkel system with Choice function
ZF+C: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۳ZF-C
ZFC ۰۰۱-۰۰۲-۰۰۱/۲۳**No Eng Tit**
ZFC ۰۰۱-۰۰۲-۰۰۱/۲۰Zermelo-Fraenkel system with Choice function
ω ۰۰۱-۰۰۵-۰۰۱/۰۲ω
ℵ ۰۰۱-۰۰۷-۰۰۱/۱۳Alef
اجتماع دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۸Union of sets
اجتماع کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۸Union of classes
اجتماع مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۱Union of sets
از تابع به رابطه ۰۰۱-۰۰۴-۰۰۱/۲۶From function to relation
ازهم جدا ۰۰۱-۰۰۴-۰۰۱/۲۰Disjoint sets
استدلال انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۳Abstract reasoning
استقرا ۰۰۱-۰۰۸-۰۰۱/۰۲Induction
استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۲۴Mathematical induction
استقرای ساختاری ۰۰۱-۰۰۸-۰۰۱/۲۸Structural Induction
استقرای کامل ۰۰۱-۰۰۸-۰۰۱/۲۲Complete induction
استقلال بنداشت‌ها ۰۰۱-۰۰۱-۰۰۱/۱۴Independency of Axioms
اشتراک دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۷Intersection of sets
اشتراک کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۹Intersection of classes
اشتراک مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۸Intersection of sets
اصل اجتماع ۰۰۱-۰۰۶-۰۰۱/۲۴Axiom of union
اصل استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۲۱Mathematical induction principle
اصل استقرای ریاضی ۰۰۱-۰۰۱-۰۰۱/۲۱Mathematical induction principle
اصل بنیاد ۰۰۱-۰۰۶-۰۰۱/۲۸Axiom of Regularity
اصل ترازمندی ۰۰۱-۰۰۵-۰۰۱/۲۱Axiom of Regularity
اصل ترازمندی ۰۰۱-۰۰۶-۰۰۱/۲۷Axiom of Regularity
اصل تهی ۰۰۱-۰۰۶-۰۰۱/۲۲Axiom of Null
اصل توان ۰۰۱-۰۰۶-۰۰۱/۲۵Axiom of power
اصل توان ضعیف ۰۰۱-۰۰۴-۰۰۱/۲۹Weak power axiom
اصل جایگزینی ۰۰۱-۰۰۶-۰۰۱/۲۹Replacement Axiom
اصل خوش‌ترتیبی ۰۰۱-۰۰۳-۰۰۱/۳۷Well-ordering principle
اصل دوگانه سازی ۰۰۱-۰۰۶-۰۰۱/۲۳Axiom of pairing
اصل گسترش ۰۰۱-۰۰۶-۰۰۱/۱۰Axiom of Extension
اصل موضوع ۰۰۱-۰۰۱-۰۰۱/۰۹Initial proposition
اصل موضوع اجتماع درZF ۰۰۱-۰۰۴-۰۰۱/۱۰Axiom of Union
اصل موضوع اشتراک ۰۰۱-۰۰۶-۰۰۱/۲۱Axiom of Intersection
اصل موضوع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۱Axiom of Choice
اصل موضوع انتخاب وابسته ۰۰۱-۰۰۶-۰۰۱/۰۷Axiom of Dependent Choice
اصل موضوع بنیاد در ZF ۰۰۱-۰۰۵-۰۰۱/۲۰Axiom of foundation in ZFC
اصل موضوع بی‌نهایت در ZF ۰۰۱-۰۰۵-۰۰۱/۰۱Axiom of infinity in ZFC
اصل موضوع دوگانه‌ساز درZF ۰۰۱-۰۰۴-۰۰۱/۰۱Pairing axiom in zfc
اصل موضوع گسترش در ZF ۰۰۱-۰۰۳-۰۰۱/۰۸Axiom of extension in ZF
اصل موضوع مجموعه توانی درZF ۰۰۱-۰۰۴-۰۰۱/۲۸Axiom of Power set
اصل موضوع وجودی در ZF ۰۰۱-۰۰۳-۰۰۱/۲۳Axiom of Existence in ZF
اصل وجودی ضعیف ۰۰۱-۰۰۳-۰۰۱/۲۵Weaken axiom of existence
اعداد گنگ ۰۰۱-۰۰۲-۰۰۱/۱۶Irrational numbers
اعداد متناهی ۰۰۱-۰۰۷-۰۰۱/۲۱Finite Numbers
افراز مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۲Partition of set
اکیداً کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۶Strictly smaller
الحاق رشته ۰۰۱-۰۰۹-۰۰۱/۰۸String concatenation
الفبا ۰۰۱-۰۰۹-۰۰۱/۰۱Alphabet
انژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۱Injective
انگاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۴Primitive notion
انگاره تعریفی ۰۰۱-۰۰۱-۰۰۱/۰۶Defined Term
اولین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۶Fist element
ایزومورفیسم ۰۰۱-۰۱۰-۰۰۱/۰۶Isomorphism
ایزومورفیک ۰۰۱-۰۱۰-۰۰۱/۰۳Isomorphic
بازگشت ۰۰۱-۰۰۸-۰۰۱/۰۱Recursion
بازگشت و استقرا ۰۰۱-۰۰۸-۰۰۱/۰۷Induction and recursion
بالا به پایین ۰۰۱-۰۰۸-۰۰۱/۱۲Top down
برد تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Range of function in ZF
برد تابع ۰۰۱-۰۰۴-۰۰۱/۰۶Range of function
برشمردن ۰۰۱-۰۰۵-۰۰۱/۰۷Enumerate
برهان در دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۲Proof in axiomatic system
برهان قطری کانتور ۰۰۱-۰۰۵-۰۰۱/۱۴Cantor's diagonal argumentan
بزرگ‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۷Greatest element
بزرگترین مقسوم علیه مشترک ۰۰۱-۰۰۸-۰۰۱/۳۲Greatest Common Divisor
بنداشت ۰۰۱-۰۰۱-۰۰۱/۰۷Axiom
بنداشت‌های پئانو ۰۰۱-۰۰۱-۰۰۱/۱۷Peano's Axioms
بیژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۷Bijective
بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۰۵Infinity
بی‌نهایت‌ها ۰۰۱-۰۰۲-۰۰۱/۰۶Infinities
پارادوکس دروغگو ۰۰۱-۰۰۲-۰۰۱/۰۲Liar paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۳Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۴Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۲-۰۰۱/۰۶Russel’s paradox
پارادوکس کانتور ۰۰۱-۰۰۷-۰۰۱/۲۲Cantor’s paradox
پاره آغازی ۰۰۱-۰۰۹-۰۰۱/۰۵Initial segment
پاره آغازی سره ۰۰۱-۰۰۹-۰۰۱/۰۶Proper initial segment
پاره پایانی ۰۰۱-۰۰۹-۰۰۱/۰۷Final segement
پایین به بالا ۰۰۱-۰۰۸-۰۰۱/۱۰Bottom up
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۹Inductive step
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۹Inductive step
پیکانه ۰۰۱-۰۰۲-۰۰۱/۳۶Arrow
پیکانه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۱Arrow
تابع ۰۰۱-۰۰۴-۰۰۱/۳۳Function
تابع ۰۰۱-۰۰۴-۰۰۱/۰۱function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۲Function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Function
تابع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۳Choice function
تابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۲۹Recursive functions
تابع پوشا ۰۰۱-۰۰۴-۰۰۱/۱۴Surjective function
تابع تالی ۰۰۱-۰۰۸-۰۰۱/۲۷Successor function
تابع ثابت ۰۰۱-۰۰۴-۰۰۱/۲۱Constant function
تابع جزئی ۰۰۱-۰۰۴-۰۰۱/۳۳Partial function
تابع جفت سازی استاندارد ۰۰۱-۰۰۵-۰۰۱/۱۱Standard Pairing Function
تابع جمع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۳۰Recursive sum function
تابع دو سویی ۰۰۱-۰۰۴-۰۰۱/۱۶Bijective function
تابع ضرب بازگشتی ۰۰۱-۰۰۸-۰۰۱/۳۱Recursive multiplication function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۰۳Total function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۳۴Total function
تابع مشخصه ۰۰۱-۰۰۴-۰۰۱/۳۰Characteristic function
تابع مشخصه رابطه ۰۰۱-۰۰۴-۰۰۱/۳۲Characteristic function of relation
تابع نشانگر ۰۰۱-۰۰۴-۰۰۱/۳۱Indicator Function
تابع همانی ۰۰۱-۰۰۴-۰۰۱/۲۰Identity function
تابع و رابطه ۰۰۱-۰۰۴-۰۰۱/۲۵Function and relation
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۲۳Inverse function
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۱۸Inverse function
تابع یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۰One-to-one function
تالی بی‌واسطه عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۲۰Immediate Successor of Natrual Number
تحدید تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Restriction of a function
تحدید رابطه ۰۰۱-۰۰۳-۰۰۱/۱۸Restriction of Relations
ترامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۷Transfinite Numbers
ترتیب خطی در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۵Linear ordering in sets
ترتیب واژه نویسی) ۰۰۱-۰۰۳-۰۰۱/۳۰Lexicographic
ترکیب رابطه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۴Composition of relations
ترکیبتوابع ۰۰۱-۰۰۴-۰۰۱/۴۱Function composition
تساوی کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۰۹Equality in Classes
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۸Inductive definition
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۵Inductive definition
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۳Recursion definition
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۱Recursive definition
تعلق ۰۰۱-۰۰۲-۰۰۱/۱۱Belonging
تعمیم اجتماع و اشتراک ۰۰۱-۰۰۴-۰۰۱/۴۰Generalized unions and intersections
تفاضل دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۱Difference of sets
تفاضل متقارن دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۳Symmetric Difference of sets
تفاضل مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۹Difference of sets
تفکر انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۲Abstract thinking
تناظر یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۹One to one correspondence
توابع سازگار ۰۰۱-۰۰۴-۰۰۱/۲۸Compatible functions
توابع هم‌ارز ۰۰۱-۰۰۴-۰۰۱/۲۹Equivalent functions
توسیع تابع ۰۰۱-۰۰۴-۰۰۱/۳۷Extension of a function
جرج کانتور ۰۰۱-۰۰۲-۰۰۱/۰۷**No Eng Tit**
جمع اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۷Ordinal Sum
جمع کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۳Sum of Ordinal numbers
جهان سخن ۰۰۱-۰۱۰-۰۰۱/۰۱Universe of Discourse
جهان فون نویمان ۰۰۱-۰۰۵-۰۰۱/۱۵Von Neumann universe
چیز ۰۰۱-۰۰۲-۰۰۱/۳۵Object
چیز: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۰Object
حرف خالی ۰۰۱-۰۰۹-۰۰۱/۰۴Empty letter
حروف الفبا ۰۰۱-۰۰۹-۰۰۱/۰۲Alphabet letters
خانواده فهرست‌شده ۰۰۱-۰۰۴-۰۰۱/۳۸Indexed family
خانواده-مجموعه ۰۰۱-۰۰۲-۰۰۱/۲۷Family of sets
خوش-بنیاد ۰۰۱-۰۰۲-۰۰۱/۲۵Well founded
خوش-بنیاد ۰۰۱-۰۰۵-۰۰۱/۲۴Well founded
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۰۴Domain of function
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۳۴Domian of function in ZF
دامنه رابطه ۰۰۱-۰۰۳-۰۰۱/۱۱Domain of relation
دامنه سخن ۰۰۱-۰۱۰-۰۰۱/۰۲Universe of Discourse
در مجموعه بودن ۰۰۱-۰۰۲-۰۰۱/۱۰Membership
درست پوچ ۰۰۱-۰۰۳-۰۰۱/۲۸Vacuous Truth
درستی تهی ۰۰۱-۰۰۳-۰۰۱/۲۷Vacuous Truth
درستی یا نادرستی فرض‌های پیوستار ۰۰۱-۰۰۷-۰۰۱/۱۱Truth and untruth of continuum hypothesizes
درونی ۰۰۱-۰۰۴-۰۰۱/۱۲Embedded
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۳Von Neumann-Bernays-Godel set theory
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۱NBG Axiomatic System
دستگاه بُنداشتی ۰۰۱-۰۰۱-۰۰۱/۰۳Axiomatic System
دستگاه بُنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۱Axiomatic System
دستگاه بنداشتی سازگار ۰۰۱-۰۰۱-۰۰۱/۱۶Consistency of Axioms
دستگاه حساب منطقی ۰۰۱-۰۰۱-۰۰۱/۰۲Logical calculi
دستگاه صوری ۰۰۱-۰۰۱-۰۰۱/۰۱Formal System
دنباله ۰۰۱-۰۰۴-۰۰۱/۴۳Sequence
دنباله عناصر ۰۰۱-۰۰۵-۰۰۱/۱۰Sequence of elements
دنباله فیبوناچی ۰۰۱-۰۰۸-۰۰۱/۲۰Fibonacci sequence
دنباله فیبوناچی ۰۰۱-۰۰۴-۰۰۱/۴۴Fibonacci sequence
دو مجموعه هم‌عدد ۰۰۱-۰۰۷-۰۰۱/۰۳Equinumerous sets
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۷Ordered pair
دوتایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۳Ordered pairs
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۶Ordered pair
دوتایی نامرتب ۰۰۱-۰۰۴-۰۰۱/۰۲Unordered pair
رابطه ۰۰۱-۰۰۳-۰۰۱/۰۷Relation
رابطه nتایی ۰۰۱-۰۰۳-۰۰۱/۰۸N-ari relation
رابطه بازتابی ۰۰۱-۰۰۳-۰۰۱/۱۹Reflexive relation
رابطه پادمتقارن ۰۰۱-۰۰۳-۰۰۱/۲۱Antisymetric relation
رابطه ترایایی ۰۰۱-۰۰۳-۰۰۱/۲۲Transitive relation
رابطه ترتیبی ۰۰۱-۰۰۳-۰۰۱/۲۳Order relation
رابطه ترتیبی کامل در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۴Total ordering relation in sets
رابطه تساوی ۰۰۱-۰۰۳-۰۰۱/۱۶Equality relation
رابطه تهی ۰۰۱-۰۰۳-۰۰۱/۱۰Empty relation
رابطه قطری ۰۰۱-۰۰۳-۰۰۱/۱۷Diagonal elation
رابطه متقارن ۰۰۱-۰۰۳-۰۰۱/۲۰Symetric relation
رابطه هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۸Equivalent relation
رابطه همانندی ۰۰۱-۰۰۳-۰۰۱/۱۵Identity relation
رابطه هم‌نهشتی ۰۰۱-۰۰۳-۰۰۱/۴۳Congruence relation
رابطه وارون ۰۰۱-۰۰۳-۰۰۱/۰۹Inversed Relation
رتبه تالی ۰۰۱-۰۱۰-۰۰۱/۱۵Successor ordinals
رتبه حدی ۰۰۱-۰۱۰-۰۰۱/۱۶Limit ordinals
رتبه‌های متناهی ۰۰۱-۰۱۰-۰۰۱/۱۳Finite ordinals
رتبه‌های نامتناهی ۰۰۱-۰۱۰-۰۰۱/۱۴Infinite ordinals
رشته‌ ۰۰۱-۰۰۹-۰۰۱/۰۳string
روش تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۶Method of Inductive definition
رویداد آزاد ۰۰۱-۰۰۳-۰۰۱/۰۴Free occurrence of a variable
رویداد پابند ۰۰۱-۰۰۳-۰۰۱/۰۵Bound occurrence of a variable
زبان ۰۰۱-۰۰۹-۰۰۱/۱۲Language
زَبرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۹Superset
زنجیره عضویتی کاهنده ۰۰۱-۰۰۵-۰۰۱/۲۲Descending ∈-chain
زنجیره‌ عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۵-۰۰۱/۲۳Infinite descending ∈-chain
زنجیره عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۲-۰۰۱/۲۴Infinite descending ∈-chains
زیرکلاس ۰۰۱-۰۰۶-۰۰۱/۱۳Subclass
زیرکلاس سره ۰۰۱-۰۰۶-۰۰۱/۱۴Proper Subclass
زیرمجموعه ۰۰۱-۰۰۲-۰۰۱/۰۳Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۶Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۸Subset
زیرمجموعه سره ۰۰۱-۰۰۲-۰۰۱/۰۴Proper Subset
زیرمجموعه سره ۰۰۱-۰۰۳-۰۰۱/۲۰Proper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۲-۰۰۱/۰۵Improper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۳-۰۰۱/۲۲Improper Subset
سابجکتیو ۰۰۱-۰۰۴-۰۰۱/۱۵Surjective
ساختار ۰۰۱-۰۰۳-۰۰۱/۰۱Structure
ساختار نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۵Structure Preserving
سازگاری و ناتمامیت ZF ۰۰۱-۰۰۵-۰۰۱/۱۶Consistency and incompleteness of ZF
سالبه به انتفای موضوع ۰۰۱-۰۰۳-۰۰۱/۳۰Vacuous Truth
سلسله‌مراتب تجمعی مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۴Cumulative hierarchy of sets
سه‌تایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۴Ordered Triples
شرط ۰۰۱-۰۰۳-۰۰۱/۰۶Condition
شمارای نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۹Denumerable
شمارایی و کاردینال ۰۰۱-۰۰۵-۰۰۱/۰۴Countability and cardinality
شمارش پذیر ۰۰۱-۰۰۵-۰۰۱/۰۶Countable set
شمارش‌پذیری اعداد گویا ۰۰۱-۰۰۵-۰۰۱/۱۰Countability of rational numbers
شمای اصل موضوعی جایگزینی در ZF ۰۰۱-۰۰۵-۰۰۱/۱۱Axiom Schema of Replacement
شمای اصل موضوعی جدایی در ZF ۰۰۱-۰۰۳-۰۰۱/۱۰Axiom Schema of separation in ZF
شمای اصل موضوعی ساخت ۰۰۱-۰۰۶-۰۰۱/۱۱Axiom Schema of Construction
شمای اصل موضوعی کلاس ساز ۰۰۱-۰۰۶-۰۰۱/۱۲Axiom Schema of class builder
شمای گیرایش ۰۰۱-۰۰۳-۰۰۱/۱۲Comprehension Schema
شِمای ویژه ‌یافتگی ۰۰۱-۰۰۳-۰۰۱/۱۱Axiom Schema of Specification
صدق تهی ۰۰۱-۰۰۳-۰۰۱/۲۹Vacuous Truth
ضرب اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۸Ordinal Product
ضرب دکارتی ۰۰۱-۰۰۳-۰۰۱/۰۶Cartesian product
ضرب دکارتی مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۳۰Cartesian product of sets
ضرب کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۴Product of Ordinal numbers
طول عبارت ۰۰۱-۰۰۹-۰۰۱/۱۰Expression length
عالم سخن ۰۰۱-۰۰۳-۰۰۱/۰۲Universe of Discourse
عبارت ۰۰۱-۰۰۹-۰۰۱/۰۹Expression
عبارت تعریف‌نشده ۰۰۱-۰۰۱-۰۰۱/۰۵Undefined term
عدد اردینال ۰۰۱-۰۱۰-۰۰۱/۱۱Ordinal Number
عدد بیکران ۰۰۱-۰۰۷-۰۰۱/۱۶Transfinite Numbers
عدد تراگذری ۰۰۱-۰۰۵-۰۰۱/۱۳Transcendental number
عدد ترانسفینی ۰۰۱-۰۰۷-۰۰۱/۱۵Transfinite Numbers
عدد ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۲Ordinal Number
عدد جبری ۰۰۱-۰۰۵-۰۰۱/۱۲Algebraic number
عدد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۵Natural number
عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۹Natrual Number
عدد کراندار ۰۰۱-۰۰۷-۰۰۱/۲۰Finite Numbers
عضو ۰۰۱-۰۰۲-۰۰۱/۱۲Member
عضو: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۷Member
عنصر ۰۰۱-۰۰۶-۰۰۱/۰۸Elemen in NBG
عنصر ۰۰۱-۰۰۲-۰۰۱/۱۳Element
عنصر -∈کمینه ۰۰۱-۰۰۵-۰۰۱/۱۹∈-minimal element
عنصر آخرین ۰۰۱-۰۰۳-۰۰۱/۲۸Last element
عنصر سازنده ۰۰۱-۰۰۸-۰۰۱/۲۶Constructive element
عنصر کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۶Element
عنصر کمینهٔ عضویتی ۰۰۱-۰۰۵-۰۰۱/۱۸Minimal elements of membership
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۵Element
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۸Element
فرض پیوستار ۰۰۱-۰۰۷-۰۰۱/۰۷Continuum hypothesis
فرض پیوستار عام ۰۰۱-۰۰۷-۰۰۱/۰۸Generalized continuum hypothesis
فرمول‌ خوش-ساخت در مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۰۳Well-formed formula in set theory
فهرست‌گر خانواده مجموعه ۰۰۱-۰۰۴-۰۰۱/۳۹Index set
قاعده بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۶Inductive step
قدر مشترک‌ ۰۰۱-۰۰۴-۰۰۱/۱۶Intersection set
قضیه بازگشت ۰۰۱-۰۰۵-۰۰۱/۱۳Recursion theorem
قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۴Well ordering theorem
قضیه در یک دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۳Theorem in Axiomatic System
قضیه زیملو ۰۰۱-۰۰۶-۰۰۱/۰۵Zermelo theorem
قضیه شرودر برنشتاین ۰۰۱-۰۰۷-۰۰۱/۰۵Schroder bernstein theorem
قضیه کانتور ۰۰۱-۰۰۷-۰۰۱/۰۴Cantor's theorem
قضیه نقطه برجا ۰۰۱-۰۰۵-۰۰۱/۱۲Fixed point theorem
قضیه‌های اول و دوم ناتمامیت گودل در نظریه مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۷Incompleteness in set theory
قلمرو تابع ۰۰۱-۰۰۴-۰۰۱/۰۷Co-domain of function
قلمرو رابطه ۰۰۱-۰۰۳-۰۰۱/۱۲Range of relation
قواعد استنتاج در دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۰Rules of inference in axiomatic system
کاردینال ۰۰۱-۰۰۷-۰۰۱/۱۲Cardinal
کاردینال مجموعه تهی ۰۰۱-۰۰۷-۰۰۱/۱۸Cardinality of empty set
کاردینال مجموعه متناهی ۰۰۱-۰۰۷-۰۰۱/۱۹Finite Cardinal
کاردینال نامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۴Infinite Cardinal
کتابخانه راسل ۰۰۱-۰۰۲-۰۰۱/۰۱Russell library
کتگوری ۰۰۱-۰۰۲-۰۰۱/۳۳Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۷Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۸Category
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۴Class in NBG
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۲Class in NBG
کلاس ۰۰۱-۰۰۲-۰۰۱/۲۶Class
کلاس ۰۰۱-۰۰۲-۰۰۱/۲۸Class
کلاس تهی ۰۰۱-۰۰۶-۰۰۱/۱۶Empty Class
کلاس جهانی ۰۰۱-۰۰۶-۰۰۱/۱۷Universal Class
کلاس خارج قسمت ۰۰۱-۰۰۳-۰۰۱/۴۱Quotient class
کلاس سره ۰۰۱-۰۰۶-۰۰۱/۰۶Proper class
کلاس سره ۰۰۱-۰۰۲-۰۰۱/۳۰Proper class
کلاس سره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۳Proper Class
کلاس ناسره ۰۰۱-۰۰۲-۰۰۱/۳۱Improper class
کلاس ناسره ۰۰۱-۰۰۶-۰۰۱/۰۷Improper class
کلاس ناسره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۴Improper Class
کلاس و مجموعه‌ در NBG ۰۰۱-۰۰۲-۰۰۱/۲۹Class and Set in NBG
کلاس و مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۰Class and set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۱Class as set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۲Class as class
کلاس‌های هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۹Equivalence class
کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۷Smaller
کوچک‌ترین ۰۰۱-۰۰۵-۰۰۱/۰۸Smallest
کوچک‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۵Smallest element
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۴Inductive step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۸Inductive step
گام پایه ۰۰۱-۰۰۸-۰۰۱/۰۵Base Step
گام پایه ۰۰۱-۰۰۸-۰۰۱/۰۳Base Step
گام پایه‌ای استقرا‌ ۰۰۱-۰۰۸-۰۰۱/۱۷Induction Base Step
گراف تابع ۰۰۱-۰۰۴-۰۰۱/۲۷Graph of function
گزاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۸Initial proposition
گسترش تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Extension of a function
متعلق: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۹Belonging
متغیر مجموعه‌ای ۰۰۱-۰۰۳-۰۰۱/۰۱Variable in set theory
متمم کلاس ۰۰۱-۰۰۶-۰۰۱/۲۰Complement of classes
متمم مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۰Complement of stes
متناهی و نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۱Finite and infinite
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۹Set
مجموعه ۰۰۱-۰۰۶-۰۰۱/۱۵Set in NBG
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۴Set
مجموعه اجتماع‌ ۰۰۱-۰۰۴-۰۰۱/۰۸Union set
مجموعه استقرایی ۰۰۱-۰۰۴-۰۰۱/۱۵Inductive Set
مجموعه اعداد حقیقی ۰۰۱-۰۰۲-۰۰۱/۱۷Set of real number
مجموعه اعداد صحیح ۰۰۱-۰۰۲-۰۰۱/۱۴Set of integer number
مجموعه اعداد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۳The set of Natural numbers
مجموعه اعداد طبیعی ۰۰۱-۰۰۲-۰۰۱/۱۳Set of natural number
مجموعه اعداد گویا ۰۰۱-۰۰۲-۰۰۱/۱۵Set of rational number
مجموعه آغازی تابع ۰۰۱-۰۰۴-۰۰۱/۰۵Departure set of funtion
مجموعه انجامی تابع ۰۰۱-۰۰۴-۰۰۱/۰۸Destination set of funtion
مجموعه بازگشتی ۰۰۱-۰۰۸-۰۰۱/۲۵Recursive set
مجموعه تالی بی‌واسطه ۰۰۱-۰۰۴-۰۰۱/۱۳Immediate successor set
مجموعه تراگذر ۰۰۱-۰۰۵-۰۰۱/۰۹Transitive Set
مجموعه تکینه ۰۰۱-۰۰۴-۰۰۱/۰۳Singleton set
مجموعه تهی ۰۰۱-۰۰۳-۰۰۱/۲۴Empty set
مجموعه تهی ۰۰۱-۰۰۲-۰۰۱/۰۲Empty set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۵Power set
مجموعه توانی ۰۰۱-۰۰۲-۰۰۱/۱۱Power set
مجموعه توانی ۰۰۱-۰۰۶-۰۰۱/۲۶Power Set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۷Power set
مجموعه چیست ۰۰۱-۰۰۲-۰۰۱/۰۳**No Eng Tit**
مجموعه خوش‌-ترتیب ۰۰۱-۰۰۳-۰۰۱/۳۶Well ordered set
مجموعه شمارا ۰۰۱-۰۰۵-۰۰۱/۰۵Countable set
مجموعه متناهی ۰۰۱-۰۰۵-۰۰۱/۰۳Finite set
مجموعه مرتب جزئی ۰۰۱-۰۰۳-۰۰۱/۲۴Partial ordered set
مجموعه مرتب کامل ۰۰۱-۰۰۳-۰۰۱/۳۳Total ordered set
مجموعه ناشمارا ۰۰۱-۰۰۵-۰۰۱/۰۸Uncountable set
مجموعه نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۲Infinite set
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۲۲Set of functions
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۳۸Set of functions
مجموعه و عضویت ۰۰۱-۰۰۲-۰۰۱/۰۸Set and membership
مجموعه و عضویت: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۵Set and membership
مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۶Set
مجموعه‌ها دو به دو مساوی‌ ۰۰۱-۰۰۲-۰۰۱/۰۱Two equal sets
مجموعه‌ها ‌مساوی ۰۰۱-۰۰۳-۰۰۱/۰۹Equal Sets
مجموعه‌ی همه مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۵Set of sets
مستقل ۰۰۱-۰۰۱-۰۰۱/۱۵Independent
معمای برج هانوی ۰۰۱-۰۰۸-۰۰۱/۳۳Tower of Hanoi puzzle
مقایسه پذیر ۰۰۱-۰۰۳-۰۰۱/۳۱Comparability
مقایسه پذیری مجموعه‌ها ۰۰۱-۰۰۷-۰۰۱/۰۶Comparability theorem
مقایسه ناپذیر ۰۰۱-۰۰۳-۰۰۱/۳۲Incomparable
مقدار تابع ۰۰۱-۰۰۴-۰۰۱/۰۹Value of function
مهمل انتزاعی ۰۰۱-۰۰۲-۰۰۱/۳۲Abstract Nonsense
میدان رابطه ۰۰۱-۰۰۳-۰۰۱/۱۳Field of relation
نامتناهی بالقوه ۰۰۱-۰۰۷-۰۰۱/۰۱Potentially infinite
نامتناهی واقعی ۰۰۱-۰۰۷-۰۰۱/۰۲Actually infinite
نظریه توابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۴Theory of recursive functions
نظریه طبیعی مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۷**No Eng Tit**
نظریه کتگوری ۰۰۱-۰۰۲-۰۰۱/۳۴Category Theory
نظریه کتگوری‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۹Category Theory
نظریه مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۵Set theory
نظریه مجموعه‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۱Set Theory
نظریه مجموعه‌های بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۱۶Infinite Set Theory
نگاشت ۰۰۱-۰۰۴-۰۰۱/۰۲Mapping
نگاشت ترتیب نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۹Order preserving map
نگاشت وارون ۰۰۱-۰۰۴-۰۰۱/۲۴Inverse Mapping
نمادهای کمکی ۰۰۱-۰۰۳-۰۰۱/۰۲Axillary symbols
نمایندگی کلاس هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۴۰Representative of the equivalence class
نمودار هس ۰۰۱-۰۰۳-۰۰۱/۲۹Hasse diagram
هم‌ دامنه ۰۰۱-۰۰۴-۰۰۱/۳۷Codomain
هم‌ارزی اصل استقرای ریاضی، استقرای ریاضی کامل و خوش-ترتیبی ۰۰۱-۰۰۸-۰۰۱/۲۳Equivalence of Well-Ordering Principle and Induction
هم‌ارزی اصل انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۶Equivalence of the choice axiom and well-ordering theorem
هم‌ارزی فرض پیوستار عام و اصل موضوع انتخاب ۰۰۱-۰۰۷-۰۰۱/۰۹**No Eng Tit**
هم‌ارزی فرض پیوستار عام، اصل موضوع انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۷-۰۰۱/۱۰**No Eng Tit**
واژگان ابتدایی ۰۰۱-۰۰۹-۰۰۱/۱۱Primitive_vocabulary
ویژگی ۰۰۱-۰۰۳-۰۰۱/۰۷Property
ویژگی‌های ترکیب توابع ۰۰۱-۰۰۴-۰۰۱/۴۲Properties of composition of functions.
یکریخت ۰۰۱-۰۱۰-۰۰۱/۰۴Isomorphic
یکریخت ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۰Order-preserving isomorphic
یکریختی ۰۰۱-۰۱۰-۰۰۱/۰۷Isomorphism
𝒞A/R ۰۰۱-۰۰۳-۰۰۱/۴۲C/AR
هم‌ارزی فرض پیوستار عام و اصل موضوع انتخاب ۰۰۱-۰۰۷-۰۰۱/۰۹**No Eng Tit**
نظریه طبیعی مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۷**No Eng Tit**
NBG ۰۰۱-۰۰۲-۰۰۱/۲۲**No Eng Tit**
مجموعه چیست ۰۰۱-۰۰۲-۰۰۱/۰۳**No Eng Tit**
جرج کانتور ۰۰۱-۰۰۲-۰۰۱/۰۷**No Eng Tit**
هم‌ارزی فرض پیوستار عام، اصل موضوع انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۷-۰۰۱/۱۰**No Eng Tit**
ZFC ۰۰۱-۰۰۲-۰۰۱/۲۳**No Eng Tit**
عنصر -∈کمینه ۰۰۱-۰۰۵-۰۰۱/۱۹∈-minimal element
≅ ۰۰۱-۰۱۰-۰۰۱/۰۸≅
⚬ ۰۰۱-۰۰۱-۰۰۱/۱۸0
۱:۱ ۰۰۱-۰۰۴-۰۰۱/۱۳1:1
مهمل انتزاعی ۰۰۱-۰۰۲-۰۰۱/۳۲Abstract Nonsense
استدلال انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۳Abstract reasoning
تفکر انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۲Abstract thinking
نامتناهی واقعی ۰۰۱-۰۰۷-۰۰۱/۰۲Actually infinite
ℵ ۰۰۱-۰۰۷-۰۰۱/۱۳Alef
عدد جبری ۰۰۱-۰۰۵-۰۰۱/۱۲Algebraic number
الفبا ۰۰۱-۰۰۹-۰۰۱/۰۱Alphabet
حروف الفبا ۰۰۱-۰۰۹-۰۰۱/۰۲Alphabet letters
رابطه پادمتقارن ۰۰۱-۰۰۳-۰۰۱/۲۱Antisymetric relation
پیکانه ۰۰۱-۰۰۲-۰۰۱/۳۶Arrow
پیکانه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۱Arrow
نمادهای کمکی ۰۰۱-۰۰۳-۰۰۱/۰۲Axillary symbols
بنداشت ۰۰۱-۰۰۱-۰۰۱/۰۷Axiom
AC ۰۰۱-۰۰۶-۰۰۱/۰۲Axiom of Choice
اصل موضوع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۱Axiom of Choice
اصل موضوع انتخاب وابسته ۰۰۱-۰۰۶-۰۰۱/۰۷Axiom of Dependent Choice
اصل موضوع وجودی در ZF ۰۰۱-۰۰۳-۰۰۱/۲۳Axiom of Existence in ZF
اصل گسترش ۰۰۱-۰۰۶-۰۰۱/۱۰Axiom of Extension
اصل موضوع گسترش در ZF ۰۰۱-۰۰۳-۰۰۱/۰۸Axiom of extension in ZF
اصل موضوع بنیاد در ZF ۰۰۱-۰۰۵-۰۰۱/۲۰Axiom of foundation in ZFC
اصل موضوع بی‌نهایت در ZF ۰۰۱-۰۰۵-۰۰۱/۰۱Axiom of infinity in ZFC
اصل موضوع اشتراک ۰۰۱-۰۰۶-۰۰۱/۲۱Axiom of Intersection
اصل تهی ۰۰۱-۰۰۶-۰۰۱/۲۲Axiom of Null
اصل دوگانه سازی ۰۰۱-۰۰۶-۰۰۱/۲۳Axiom of pairing
اصل توان ۰۰۱-۰۰۶-۰۰۱/۲۵Axiom of power
اصل موضوع مجموعه توانی درZF ۰۰۱-۰۰۴-۰۰۱/۲۸Axiom of Power set
اصل ترازمندی ۰۰۱-۰۰۵-۰۰۱/۲۱Axiom of Regularity
اصل ترازمندی ۰۰۱-۰۰۶-۰۰۱/۲۷Axiom of Regularity
اصل بنیاد ۰۰۱-۰۰۶-۰۰۱/۲۸Axiom of Regularity
اصل موضوع اجتماع درZF ۰۰۱-۰۰۴-۰۰۱/۱۰Axiom of Union
اصل اجتماع ۰۰۱-۰۰۶-۰۰۱/۲۴Axiom of union
شمای اصل موضوعی کلاس ساز ۰۰۱-۰۰۶-۰۰۱/۱۲Axiom Schema of class builder
شمای اصل موضوعی ساخت ۰۰۱-۰۰۶-۰۰۱/۱۱Axiom Schema of Construction
شمای اصل موضوعی جایگزینی در ZF ۰۰۱-۰۰۵-۰۰۱/۱۱Axiom Schema of Replacement
شمای اصل موضوعی جدایی در ZF ۰۰۱-۰۰۳-۰۰۱/۱۰Axiom Schema of separation in ZF
شِمای ویژه ‌یافتگی ۰۰۱-۰۰۳-۰۰۱/۱۱Axiom Schema of Specification
دستگاه بُنداشتی ۰۰۱-۰۰۱-۰۰۱/۰۳Axiomatic System
دستگاه بُنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۱Axiomatic System
گام پایه ۰۰۱-۰۰۸-۰۰۱/۰۵Base Step
گام پایه ۰۰۱-۰۰۸-۰۰۱/۰۳Base Step
متعلق: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۹Belonging
تعلق ۰۰۱-۰۰۲-۰۰۱/۱۱Belonging
∈ ۰۰۱-۰۰۲-۰۰۱/۱۴Belonging
بیژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۷Bijective
تابع دو سویی ۰۰۱-۰۰۴-۰۰۱/۱۶Bijective function
پایین به بالا ۰۰۱-۰۰۸-۰۰۱/۱۰Bottom up
رویداد پابند ۰۰۱-۰۰۳-۰۰۱/۰۵Bound occurrence of a variable
𝒞A/R ۰۰۱-۰۰۳-۰۰۱/۴۲C/AR
پارادوکس کانتور ۰۰۱-۰۰۷-۰۰۱/۲۲Cantor’s paradox
برهان قطری کانتور ۰۰۱-۰۰۵-۰۰۱/۱۴Cantor's diagonal argumentan
قضیه کانتور ۰۰۱-۰۰۷-۰۰۱/۰۴Cantor's theorem
کاردینال ۰۰۱-۰۰۷-۰۰۱/۱۲Cardinal
کاردینال مجموعه تهی ۰۰۱-۰۰۷-۰۰۱/۱۸Cardinality of empty set
ضرب دکارتی ۰۰۱-۰۰۳-۰۰۱/۰۶Cartesian product
ضرب دکارتی مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۳۰Cartesian product of sets
A×B ۰۰۱-۰۰۴-۰۰۱/۳۱Cartesian product of sets
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۸Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۷Category
کتگوری ۰۰۱-۰۰۲-۰۰۱/۳۳Category
نظریه کتگوری ۰۰۱-۰۰۲-۰۰۱/۳۴Category Theory
نظریه کتگوری‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۹Category Theory
تابع مشخصه ۰۰۱-۰۰۴-۰۰۱/۳۰Characteristic function
تابع مشخصه رابطه ۰۰۱-۰۰۴-۰۰۱/۳۲Characteristic function of relation
تابع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۳Choice function
کلاس ۰۰۱-۰۰۲-۰۰۱/۲۶Class
کلاس ۰۰۱-۰۰۲-۰۰۱/۲۸Class
کلاس و مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۰Class and set
کلاس و مجموعه‌ در NBG ۰۰۱-۰۰۲-۰۰۱/۲۹Class and Set in NBG
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۲Class as class
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۱Class as set
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۲Class in NBG
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۴Class in NBG
هم‌ دامنه ۰۰۱-۰۰۴-۰۰۱/۳۷Codomain
قلمرو تابع ۰۰۱-۰۰۴-۰۰۱/۰۷Co-domain of function
مقایسه پذیر ۰۰۱-۰۰۳-۰۰۱/۳۱Comparability
مقایسه پذیری مجموعه‌ها ۰۰۱-۰۰۷-۰۰۱/۰۶Comparability theorem
توابع سازگار ۰۰۱-۰۰۴-۰۰۱/۲۸Compatible functions
متمم کلاس ۰۰۱-۰۰۶-۰۰۱/۲۰Complement of classes
متمم مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۰Complement of stes
استقرای کامل ۰۰۱-۰۰۸-۰۰۱/۲۲Complete induction
ترکیب رابطه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۴Composition of relations
شمای گیرایش ۰۰۱-۰۰۳-۰۰۱/۱۲Comprehension Schema
شرط ۰۰۱-۰۰۳-۰۰۱/۰۶Condition
رابطه هم‌نهشتی ۰۰۱-۰۰۳-۰۰۱/۴۳Congruence relation
سازگاری و ناتمامیت ZF ۰۰۱-۰۰۵-۰۰۱/۱۶Consistency and incompleteness of ZF
دستگاه بنداشتی سازگار ۰۰۱-۰۰۱-۰۰۱/۱۶Consistency of Axioms
تابع ثابت ۰۰۱-۰۰۴-۰۰۱/۲۱Constant function
عنصر سازنده ۰۰۱-۰۰۸-۰۰۱/۲۶Constructive element
فرض پیوستار ۰۰۱-۰۰۷-۰۰۱/۰۷Continuum hypothesis
شمارایی و کاردینال ۰۰۱-۰۰۵-۰۰۱/۰۴Countability and cardinality
شمارش‌پذیری اعداد گویا ۰۰۱-۰۰۵-۰۰۱/۱۰Countability of rational numbers
شمارش پذیر ۰۰۱-۰۰۵-۰۰۱/۰۶Countable set
مجموعه شمارا ۰۰۱-۰۰۵-۰۰۱/۰۵Countable set
سلسله‌مراتب تجمعی مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۴Cumulative hierarchy of sets
انگاره تعریفی ۰۰۱-۰۰۱-۰۰۱/۰۶Defined Term
شمارای نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۹Denumerable
مجموعه آغازی تابع ۰۰۱-۰۰۴-۰۰۱/۰۵Departure set of funtion
زنجیره عضویتی کاهنده ۰۰۱-۰۰۵-۰۰۱/۲۲Descending ∈-chain
مجموعه انجامی تابع ۰۰۱-۰۰۴-۰۰۱/۰۸Destination set of funtion
رابطه قطری ۰۰۱-۰۰۳-۰۰۱/۱۷Diagonal elation
A \ B ۰۰۱-۰۰۴-۰۰۱/۲۲Difference of sets
تفاضل مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۹Difference of sets
تفاضل دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۱Difference of sets
ازهم جدا ۰۰۱-۰۰۴-۰۰۱/۲۰Disjoint sets
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۰۴Domain of function
دامنه رابطه ۰۰۱-۰۰۳-۰۰۱/۱۱Domain of relation
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۳۴Domian of function in ZF
عنصر ۰۰۱-۰۰۶-۰۰۱/۰۸Elemen in NBG
عنصر کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۶Element
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۸Element
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۵Element
عنصر ۰۰۱-۰۰۲-۰۰۱/۱۳Element
درونی ۰۰۱-۰۰۴-۰۰۱/۱۲Embedded
کلاس تهی ۰۰۱-۰۰۶-۰۰۱/۱۶Empty Class
حرف خالی ۰۰۱-۰۰۹-۰۰۱/۰۴Empty letter
رابطه تهی ۰۰۱-۰۰۳-۰۰۱/۱۰Empty relation
مجموعه تهی ۰۰۱-۰۰۲-۰۰۱/۰۲Empty set
مجموعه تهی ۰۰۱-۰۰۳-۰۰۱/۲۴Empty set
∅ ۰۰۱-۰۰۳-۰۰۱/۲۶Empty set
برشمردن ۰۰۱-۰۰۵-۰۰۱/۰۷Enumerate
مجموعه‌ها ‌مساوی ۰۰۱-۰۰۳-۰۰۱/۰۹Equal Sets
تساوی کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۰۹Equality in Classes
رابطه تساوی ۰۰۱-۰۰۳-۰۰۱/۱۶Equality relation
دو مجموعه هم‌عدد ۰۰۱-۰۰۷-۰۰۱/۰۳Equinumerous sets
کلاس‌های هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۹Equivalence class
هم‌ارزی اصل انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۶Equivalence of the choice axiom and well-ordering theorem
هم‌ارزی اصل استقرای ریاضی، استقرای ریاضی کامل و خوش-ترتیبی ۰۰۱-۰۰۸-۰۰۱/۲۳Equivalence of Well-Ordering Principle and Induction
توابع هم‌ارز ۰۰۱-۰۰۴-۰۰۱/۲۹Equivalent functions
رابطه هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۸Equivalent relation
عبارت ۰۰۱-۰۰۹-۰۰۱/۰۹Expression
طول عبارت ۰۰۱-۰۰۹-۰۰۱/۱۰Expression length
توسیع تابع ۰۰۱-۰۰۴-۰۰۱/۳۷Extension of a function
گسترش تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Extension of a function
خانواده-مجموعه ۰۰۱-۰۰۲-۰۰۱/۲۷Family of sets
دنباله فیبوناچی ۰۰۱-۰۰۸-۰۰۱/۲۰Fibonacci sequence
دنباله فیبوناچی ۰۰۱-۰۰۴-۰۰۱/۴۴Fibonacci sequence
میدان رابطه ۰۰۱-۰۰۳-۰۰۱/۱۳Field of relation
پاره پایانی ۰۰۱-۰۰۹-۰۰۱/۰۷Final segement
متناهی و نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۱Finite and infinite
کاردینال مجموعه متناهی ۰۰۱-۰۰۷-۰۰۱/۱۹Finite Cardinal
عدد کراندار ۰۰۱-۰۰۷-۰۰۱/۲۰Finite Numbers
اعداد متناهی ۰۰۱-۰۰۷-۰۰۱/۲۱Finite Numbers
رتبه‌های متناهی ۰۰۱-۰۱۰-۰۰۱/۱۳Finite ordinals
مجموعه متناهی ۰۰۱-۰۰۵-۰۰۱/۰۳Finite set
اولین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۶Fist element
قضیه نقطه برجا ۰۰۱-۰۰۵-۰۰۱/۱۲Fixed point theorem
دستگاه صوری ۰۰۱-۰۰۱-۰۰۱/۰۱Formal System
رویداد آزاد ۰۰۱-۰۰۳-۰۰۱/۰۴Free occurrence of a variable
از تابع به رابطه ۰۰۱-۰۰۴-۰۰۱/۲۶From function to relation
تابع ۰۰۱-۰۰۴-۰۰۱/۳۳Function
تابع ۰۰۱-۰۰۴-۰۰۱/۰۱function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۲Function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۶Function
تابع و رابطه ۰۰۱-۰۰۴-۰۰۱/۲۵Function and relation
ترکیبتوابع ۰۰۱-۰۰۴-۰۰۱/۴۱Function composition
فرض پیوستار عام ۰۰۱-۰۰۷-۰۰۱/۰۸Generalized continuum hypothesis
تعمیم اجتماع و اشتراک ۰۰۱-۰۰۴-۰۰۱/۴۰Generalized unions and intersections
گراف تابع ۰۰۱-۰۰۴-۰۰۱/۲۷Graph of function
بزرگترین مقسوم علیه مشترک ۰۰۱-۰۰۸-۰۰۱/۳۲Greatest Common Divisor
بزرگ‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۷Greatest element
نمودار هس ۰۰۱-۰۰۳-۰۰۱/۲۹Hasse diagram
تابع همانی ۰۰۱-۰۰۴-۰۰۱/۲۰Identity function
رابطه همانندی ۰۰۱-۰۰۳-۰۰۱/۱۵Identity relation
تالی بی‌واسطه عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۲۰Immediate Successor of Natrual Number
مجموعه تالی بی‌واسطه ۰۰۱-۰۰۴-۰۰۱/۱۳Immediate successor set
X+ ۰۰۱-۰۰۴-۰۰۱/۱۴Immediate successor set
کلاس ناسره ۰۰۱-۰۰۲-۰۰۱/۳۱Improper class
کلاس ناسره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۴Improper Class
کلاس ناسره ۰۰۱-۰۰۶-۰۰۱/۰۷Improper class
زیرمجموعه ناسره ۰۰۱-۰۰۲-۰۰۱/۰۵Improper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۳-۰۰۱/۲۲Improper Subset
مقایسه ناپذیر ۰۰۱-۰۰۳-۰۰۱/۳۲Incomparable
قضیه‌های اول و دوم ناتمامیت گودل در نظریه مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۷Incompleteness in set theory
استقلال بنداشت‌ها ۰۰۱-۰۰۱-۰۰۱/۱۴Independency of Axioms
مستقل ۰۰۱-۰۰۱-۰۰۱/۱۵Independent
فهرست‌گر خانواده مجموعه ۰۰۱-۰۰۴-۰۰۱/۳۹Index set
خانواده فهرست‌شده ۰۰۱-۰۰۴-۰۰۱/۳۸Indexed family
تابع نشانگر ۰۰۱-۰۰۴-۰۰۱/۳۱Indicator Function
استقرا ۰۰۱-۰۰۸-۰۰۱/۰۲Induction
بازگشت و استقرا ۰۰۱-۰۰۸-۰۰۱/۰۷Induction and recursion
گام پایه‌ای استقرا‌ ۰۰۱-۰۰۸-۰۰۱/۱۷Induction Base Step
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۵Inductive definition
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۸Inductive definition
مجموعه استقرایی ۰۰۱-۰۰۴-۰۰۱/۱۵Inductive Set
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۹Inductive step
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۹Inductive step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۸Inductive step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۴Inductive step
قاعده بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۶Inductive step
کاردینال نامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۴Infinite Cardinal
زنجیره‌ عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۵-۰۰۱/۲۳Infinite descending ∈-chain
زنجیره عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۲-۰۰۱/۲۴Infinite descending ∈-chains
رتبه‌های نامتناهی ۰۰۱-۰۱۰-۰۰۱/۱۴Infinite ordinals
مجموعه نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۲Infinite set
نظریه مجموعه‌های بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۱۶Infinite Set Theory
بی‌نهایت‌ها ۰۰۱-۰۰۲-۰۰۱/۰۶Infinities
بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۰۵Infinity
اصل موضوع ۰۰۱-۰۰۱-۰۰۱/۰۹Initial proposition
گزاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۸Initial proposition
پاره آغازی ۰۰۱-۰۰۹-۰۰۱/۰۵Initial segment
انژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۱Injective
اشتراک کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۹Intersection of classes
اشتراک مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۸Intersection of sets
اشتراک دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۷Intersection of sets
∩ ۰۰۱-۰۰۴-۰۰۱/۱۹Intersection of sets
قدر مشترک‌ ۰۰۱-۰۰۴-۰۰۱/۱۶Intersection set
Ƥ(A) ۰۰۱-۰۰۴-۰۰۱/۲۶Intersection set
∩(A) ۰۰۱-۰۰۴-۰۰۱/۱۷Intersection set
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۱۸Inverse function
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۲۳Inverse function
نگاشت وارون ۰۰۱-۰۰۴-۰۰۱/۲۴Inverse Mapping
رابطه وارون ۰۰۱-۰۰۳-۰۰۱/۰۹Inversed Relation
اعداد گنگ ۰۰۱-۰۰۲-۰۰۱/۱۶Irrational numbers
ایزومورفیک ۰۰۱-۰۱۰-۰۰۱/۰۳Isomorphic
یکریخت ۰۰۱-۰۱۰-۰۰۱/۰۴Isomorphic
یکریختی ۰۰۱-۰۱۰-۰۰۱/۰۷Isomorphism
ایزومورفیسم ۰۰۱-۰۱۰-۰۰۱/۰۶Isomorphism
زبان ۰۰۱-۰۰۹-۰۰۱/۱۲Language
عنصر آخرین ۰۰۱-۰۰۳-۰۰۱/۲۸Last element
ترتیب واژه نویسی) ۰۰۱-۰۰۳-۰۰۱/۳۰Lexicographic
پارادوکس دروغگو ۰۰۱-۰۰۲-۰۰۱/۰۲Liar paradox
رتبه حدی ۰۰۱-۰۱۰-۰۰۱/۱۶Limit ordinals
ترتیب خطی در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۵Linear ordering in sets
دستگاه حساب منطقی ۰۰۱-۰۰۱-۰۰۱/۰۲Logical calculi
نگاشت ۰۰۱-۰۰۴-۰۰۱/۰۲Mapping
استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۲۴Mathematical induction
اصل استقرای ریاضی ۰۰۱-۰۰۱-۰۰۱/۲۱Mathematical induction principle
اصل استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۲۱Mathematical induction principle
عضو: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۷Member
عضو ۰۰۱-۰۰۲-۰۰۱/۱۲Member
در مجموعه بودن ۰۰۱-۰۰۲-۰۰۱/۱۰Membership
∈ ۰۰۱-۰۰۶-۰۰۱/۰۵Membership in NBG
روش تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۶Method of Inductive definition
عنصر کمینهٔ عضویتی ۰۰۱-۰۰۵-۰۰۱/۱۸Minimal elements of membership
۰۰۱-۰۰۵-۰۰۱/۰۴ℕ
رابطه nتایی ۰۰۱-۰۰۳-۰۰۱/۰۸N-ari relation
عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۹Natrual Number
عدد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۵Natural number
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۱NBG Axiomatic System
NBG: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۴Neumann-Bernays-Godel
NBG ۰۰۱-۰۰۲-۰۰۱/۱۹Neumann-Bernays-Godel system
چیز ۰۰۱-۰۰۲-۰۰۱/۳۵Object
چیز: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۰Object
تناظر یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۹One to one correspondence
تابع یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۰One-to-one function
نگاشت ترتیب نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۹Order preserving map
رابطه ترتیبی ۰۰۱-۰۰۳-۰۰۱/۲۳Order relation
n تایی‌ مرتب ۰۰۱-۰۰۳-۰۰۱/۰۵Ordered n-ary
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۷Ordered pair
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۶Ordered pair
<X,Y> ۰۰۱-۰۰۴-۰۰۱/۰۵Ordered pairs
(X,Y) ۰۰۱-۰۰۴-۰۰۱/۰۴Ordered pairs
دوتایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۳Ordered pairs
سه‌تایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۴Ordered Triples
یکریخت ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۰Order-preserving isomorphic
عدد اردینال ۰۰۱-۰۱۰-۰۰۱/۱۱Ordinal Number
عدد ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۲Ordinal Number
ضرب اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۸Ordinal Product
جمع اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۷Ordinal Sum
اصل موضوع دوگانه‌ساز درZF ۰۰۱-۰۰۴-۰۰۱/۰۱Pairing axiom in zfc
تابع جزئی ۰۰۱-۰۰۴-۰۰۱/۳۳Partial function
مجموعه مرتب جزئی ۰۰۱-۰۰۳-۰۰۱/۲۴Partial ordered set
افراز مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۲Partition of set
بنداشت‌های پئانو ۰۰۱-۰۰۱-۰۰۱/۱۷Peano's Axioms
نامتناهی بالقوه ۰۰۱-۰۰۷-۰۰۱/۰۱Potentially infinite
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۷Power set
مجموعه توانی ۰۰۱-۰۰۲-۰۰۱/۱۱Power set
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۵Power set
مجموعه توانی ۰۰۱-۰۰۶-۰۰۱/۲۶Power Set
انگاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۴Primitive notion
واژگان ابتدایی ۰۰۱-۰۰۹-۰۰۱/۱۱Primitive_vocabulary
ضرب کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۴Product of Ordinal numbers
برهان در دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۲Proof in axiomatic system
کلاس سره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۳Proper Class
کلاس سره ۰۰۱-۰۰۶-۰۰۱/۰۶Proper class
کلاس سره ۰۰۱-۰۰۲-۰۰۱/۳۰Proper class
پاره آغازی سره ۰۰۱-۰۰۹-۰۰۱/۰۶Proper initial segment
زیرکلاس سره ۰۰۱-۰۰۶-۰۰۱/۱۴Proper Subclass
⊂ ۰۰۱-۰۰۳-۰۰۱/۲۱Proper Subset
زیرمجموعه سره ۰۰۱-۰۰۲-۰۰۱/۰۴Proper Subset
زیرمجموعه سره ۰۰۱-۰۰۳-۰۰۱/۲۰Proper Subset
ویژگی‌های ترکیب توابع ۰۰۱-۰۰۴-۰۰۱/۴۲Properties of composition of functions.
ویژگی ۰۰۱-۰۰۳-۰۰۱/۰۷Property
کلاس خارج قسمت ۰۰۱-۰۰۳-۰۰۱/۴۱Quotient class
برد تابع ۰۰۱-۰۰۴-۰۰۱/۰۶Range of function
برد تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Range of function in ZF
قلمرو رابطه ۰۰۱-۰۰۳-۰۰۱/۱۲Range of relation
بازگشت ۰۰۱-۰۰۸-۰۰۱/۰۱Recursion
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۳Recursion definition
قضیه بازگشت ۰۰۱-۰۰۵-۰۰۱/۱۳Recursion theorem
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۱Recursive definition
تابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۲۹Recursive functions
تابع ضرب بازگشتی ۰۰۱-۰۰۸-۰۰۱/۳۱Recursive multiplication function
مجموعه بازگشتی ۰۰۱-۰۰۸-۰۰۱/۲۵Recursive set
تابع جمع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۳۰Recursive sum function
رابطه بازتابی ۰۰۱-۰۰۳-۰۰۱/۱۹Reflexive relation
رابطه ۰۰۱-۰۰۳-۰۰۱/۰۷Relation
اصل جایگزینی ۰۰۱-۰۰۶-۰۰۱/۲۹Replacement Axiom
نمایندگی کلاس هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۴۰Representative of the equivalence class
تحدید تابع ۰۰۱-۰۰۴-۰۰۱/۳۵Restriction of a function
تحدید رابطه ۰۰۱-۰۰۳-۰۰۱/۱۸Restriction of Relations
قواعد استنتاج در دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۰Rules of inference in axiomatic system
پارادوکس راسل ۰۰۱-۰۰۲-۰۰۱/۰۶Russel’s paradox
کتابخانه راسل ۰۰۱-۰۰۲-۰۰۱/۰۱Russell library
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۳Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۴Russell’s paradox
قضیه شرودر برنشتاین ۰۰۱-۰۰۷-۰۰۱/۰۵Schroder bernstein theorem
دنباله ۰۰۱-۰۰۴-۰۰۱/۴۳Sequence
دنباله عناصر ۰۰۱-۰۰۵-۰۰۱/۱۰Sequence of elements
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۹Set
مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۶Set
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۴Set
مجموعه و عضویت: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۵Set and membership
مجموعه و عضویت ۰۰۱-۰۰۲-۰۰۱/۰۸Set and membership
مجموعه ۰۰۱-۰۰۶-۰۰۱/۱۵Set in NBG
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۳۸Set of functions
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۲۲Set of functions
مجموعه اعداد صحیح ۰۰۱-۰۰۲-۰۰۱/۱۴Set of integer number
مجموعه اعداد طبیعی ۰۰۱-۰۰۲-۰۰۱/۱۳Set of natural number
مجموعه اعداد گویا ۰۰۱-۰۰۲-۰۰۱/۱۵Set of rational number
مجموعه اعداد حقیقی ۰۰۱-۰۰۲-۰۰۱/۱۷Set of real number
مجموعه‌ی همه مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۵Set of sets
نظریه مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۵Set theory
نظریه مجموعه‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۱Set Theory
مجموعه تکینه ۰۰۱-۰۰۴-۰۰۱/۰۳Singleton set
کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۷Smaller
کوچک‌ترین ۰۰۱-۰۰۵-۰۰۱/۰۸Smallest
کوچک‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۵Smallest element
تابع جفت سازی استاندارد ۰۰۱-۰۰۵-۰۰۱/۱۱Standard Pairing Function
اکیداً کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۶Strictly smaller
رشته‌ ۰۰۱-۰۰۹-۰۰۱/۰۳string
الحاق رشته ۰۰۱-۰۰۹-۰۰۱/۰۸String concatenation
استقرای ساختاری ۰۰۱-۰۰۸-۰۰۱/۲۸Structural Induction
ساختار ۰۰۱-۰۰۳-۰۰۱/۰۱Structure
ساختار نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۵Structure Preserving
زیرکلاس ۰۰۱-۰۰۶-۰۰۱/۱۳Subclass
زیرمجموعه ۰۰۱-۰۰۲-۰۰۱/۰۳Subset
⊆ ۰۰۱-۰۰۳-۰۰۱/۱۷Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۸Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۶Subset
تابع تالی ۰۰۱-۰۰۸-۰۰۱/۲۷Successor function
رتبه تالی ۰۰۱-۰۱۰-۰۰۱/۱۵Successor ordinals
جمع کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۳Sum of Ordinal numbers
زَبرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۹Superset
سابجکتیو ۰۰۱-۰۰۴-۰۰۱/۱۵Surjective
تابع پوشا ۰۰۱-۰۰۴-۰۰۱/۱۴Surjective function
رابطه متقارن ۰۰۱-۰۰۳-۰۰۱/۲۰Symetric relation
تفاضل متقارن دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۳Symmetric Difference of sets
A ∆ B ۰۰۱-۰۰۴-۰۰۱/۲۴Symmetric Difference of sets
مجموعه اعداد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۳The set of Natural numbers
قضیه در یک دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۳Theorem in Axiomatic System
نظریه توابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۴Theory of recursive functions
بالا به پایین ۰۰۱-۰۰۸-۰۰۱/۱۲Top down
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۰۳Total function
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۳۴Total function
مجموعه مرتب کامل ۰۰۱-۰۰۳-۰۰۱/۳۳Total ordered set
رابطه ترتیبی کامل در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۴Total ordering relation in sets
معمای برج هانوی ۰۰۱-۰۰۸-۰۰۱/۳۳Tower of Hanoi puzzle
عدد تراگذری ۰۰۱-۰۰۵-۰۰۱/۱۳Transcendental number
عدد بیکران ۰۰۱-۰۰۷-۰۰۱/۱۶Transfinite Numbers
ترامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۷Transfinite Numbers
عدد ترانسفینی ۰۰۱-۰۰۷-۰۰۱/۱۵Transfinite Numbers
رابطه ترایایی ۰۰۱-۰۰۳-۰۰۱/۲۲Transitive relation
مجموعه تراگذر ۰۰۱-۰۰۵-۰۰۱/۰۹Transitive Set
درستی یا نادرستی فرض‌های پیوستار ۰۰۱-۰۰۷-۰۰۱/۱۱Truth and untruth of continuum hypothesizes
مجموعه‌ها دو به دو مساوی‌ ۰۰۱-۰۰۲-۰۰۱/۰۱Two equal sets
مجموعه ناشمارا ۰۰۱-۰۰۵-۰۰۱/۰۸Uncountable set
عبارت تعریف‌نشده ۰۰۱-۰۰۱-۰۰۱/۰۵Undefined term
اجتماع کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۸Union of classes
اجتماع مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۱Union of sets
اجتماع دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۸Union of sets
∪ ۰۰۱-۰۰۴-۰۰۱/۱۲Union of sets of sets
∪(A) ۰۰۱-۰۰۴-۰۰۱/۰۹Union set
مجموعه اجتماع‌ ۰۰۱-۰۰۴-۰۰۱/۰۸Union set
کلاس جهانی ۰۰۱-۰۰۶-۰۰۱/۱۷Universal Class
عالم سخن ۰۰۱-۰۰۳-۰۰۱/۰۲Universe of Discourse
جهان سخن ۰۰۱-۰۱۰-۰۰۱/۰۱Universe of Discourse
دامنه سخن ۰۰۱-۰۱۰-۰۰۱/۰۲Universe of Discourse
دوتایی نامرتب ۰۰۱-۰۰۴-۰۰۱/۰۲Unordered pair
درستی تهی ۰۰۱-۰۰۳-۰۰۱/۲۷Vacuous Truth
صدق تهی ۰۰۱-۰۰۳-۰۰۱/۲۹Vacuous Truth
سالبه به انتفای موضوع ۰۰۱-۰۰۳-۰۰۱/۳۰Vacuous Truth
درست پوچ ۰۰۱-۰۰۳-۰۰۱/۲۸Vacuous Truth
مقدار تابع ۰۰۱-۰۰۴-۰۰۱/۰۹Value of function
متغیر مجموعه‌ای ۰۰۱-۰۰۳-۰۰۱/۰۱Variable in set theory
جهان فون نویمان ۰۰۱-۰۰۵-۰۰۱/۱۵Von Neumann universe
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۳Von Neumann-Bernays-Godel set theory
اصل توان ضعیف ۰۰۱-۰۰۴-۰۰۱/۲۹Weak power axiom
اصل وجودی ضعیف ۰۰۱-۰۰۳-۰۰۱/۲۵Weaken axiom of existence
خوش-بنیاد ۰۰۱-۰۰۵-۰۰۱/۲۴Well founded
خوش-بنیاد ۰۰۱-۰۰۲-۰۰۱/۲۵Well founded
مجموعه خوش‌-ترتیب ۰۰۱-۰۰۳-۰۰۱/۳۶Well ordered set
قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۴Well ordering theorem
فرمول‌ خوش-ساخت در مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۰۳Well-formed formula in set theory
اصل خوش‌ترتیبی ۰۰۱-۰۰۳-۰۰۱/۳۷Well-ordering principle
قضیه زیملو ۰۰۱-۰۰۶-۰۰۱/۰۵Zermelo theorem
ZF ۰۰۱-۰۰۲-۰۰۱/۱۸Zermelo-Fraenkel system
ZFC ۰۰۱-۰۰۲-۰۰۱/۲۰Zermelo-Fraenkel system with Choice function
ZF+C ۰۰۱-۰۰۲-۰۰۱/۲۱Zermelo-Fraenkel system with Choice function
ZF: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۲ZF
ZF+C: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۳ZF-C
ω ۰۰۱-۰۰۵-۰۰۱/۰۲ω
دستگاه صوری ۰۰۱-۰۰۱-۰۰۱/۰۱۰۰۰1Formal System
نظریه مجموعه‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۱۰۰۰2Set Theory
ZF: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۲۰۰۰3ZF
دستگاه حساب منطقی ۰۰۱-۰۰۱-۰۰۱/۰۲۰۰۰4Logical calculi
دستگاه بُنداشتی ۰۰۱-۰۰۱-۰۰۱/۰۳۰۰۰5Axiomatic System
ZF+C: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۳۰۰۰6ZF-C
NBG: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۴۰۰۰7Neumann-Bernays-Godel
انگاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۴۰۰۰8Primitive notion
عبارت تعریف‌نشده ۰۰۱-۰۰۱-۰۰۱/۰۵۰۰۰9Undefined term
مجموعه و عضویت: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۵۰۰10Set and membership
مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۶۰۰11Set
انگاره تعریفی ۰۰۱-۰۰۱-۰۰۱/۰۶۰۰12Defined Term
بنداشت ۰۰۱-۰۰۱-۰۰۱/۰۷۰۰13Axiom
عضو: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۷۰۰14Member
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۸۰۰15Element
گزاره آغازی ۰۰۱-۰۰۱-۰۰۱/۰۸۰۰16Initial proposition
اصل موضوع ۰۰۱-۰۰۱-۰۰۱/۰۹۰۰17Initial proposition
متعلق: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۰۹۰۰18Belonging
کلاس و مجموعه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۰۰۰19Class and set
قواعد استنتاج در دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۰۰۰20Rules of inference in axiomatic system
دستگاه بُنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۱۰۰21Axiomatic System
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۱۰۰22Class as set
کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۲۰۰23Class as class
برهان در دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۲۰۰24Proof in axiomatic system
قضیه در یک دستگاه بنداشتی ۰۰۱-۰۰۱-۰۰۱/۱۳۰۰25Theorem in Axiomatic System
کلاس سره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۳۰۰26Proper Class
کلاس ناسره: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۴۰۰27Improper Class
استقلال بنداشت‌ها ۰۰۱-۰۰۱-۰۰۱/۱۴۰۰28Independency of Axioms
مستقل ۰۰۱-۰۰۱-۰۰۱/۱۵۰۰29Independent
عنصر: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۵۰۰30Element
عنصر کلاس: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۶۰۰31Element
دستگاه بنداشتی سازگار ۰۰۱-۰۰۱-۰۰۱/۱۶۰۰32Consistency of Axioms
بنداشت‌های پئانو ۰۰۱-۰۰۱-۰۰۱/۱۷۰۰33Peano's Axioms
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۷۰۰34Category
کتگوری: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۸۰۰35Category
⚬ ۰۰۱-۰۰۱-۰۰۱/۱۸۰۰360
عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۱۹۰۰37Natrual Number
نظریه کتگوری‌ها: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۱۹۰۰38Category Theory
چیز: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۰۰۰39Object
تالی بی‌واسطه عدد طبیعی ۰۰۱-۰۰۱-۰۰۱/۲۰۰۰40Immediate Successor of Natrual Number
اصل استقرای ریاضی ۰۰۱-۰۰۱-۰۰۱/۲۱۰۰41Mathematical induction principle
پیکانه: مجموعه چیست؟ ۰۰۱-۰۰۱-۰۰۱/۲۱۰۰42Arrow
تفکر انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۲۰۰43Abstract thinking
استدلال انتزاعی ۰۰۱-۰۰۱-۰۰۱/۲۳۰۰44Abstract reasoning
کتابخانه راسل ۰۰۱-۰۰۲-۰۰۱/۰۱۰۰45Russell library
مجموعه‌ها دو به دو مساوی‌ ۰۰۱-۰۰۲-۰۰۱/۰۱۰۰46Two equal sets
پارادوکس دروغگو ۰۰۱-۰۰۲-۰۰۱/۰۲۰۰47Liar paradox
مجموعه تهی ۰۰۱-۰۰۲-۰۰۱/۰۲۰۰48Empty set
مجموعه چیست ۰۰۱-۰۰۲-۰۰۱/۰۳۰۰49**No Eng Tit**
زیرمجموعه ۰۰۱-۰۰۲-۰۰۱/۰۳۰۰50Subset
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۴۰۰51Set
زیرمجموعه سره ۰۰۱-۰۰۲-۰۰۱/۰۴۰۰52Proper Subset
بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۰۵۰۰53Infinity
زیرمجموعه ناسره ۰۰۱-۰۰۲-۰۰۱/۰۵۰۰54Improper Subset
بی‌نهایت‌ها ۰۰۱-۰۰۲-۰۰۱/۰۶۰۰55Infinities
پارادوکس راسل ۰۰۱-۰۰۲-۰۰۱/۰۶۰۰56Russel’s paradox
اشتراک دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۷۰۰57Intersection of sets
جرج کانتور ۰۰۱-۰۰۲-۰۰۱/۰۷۰۰58**No Eng Tit**
مجموعه و عضویت ۰۰۱-۰۰۲-۰۰۱/۰۸۰۰59Set and membership
اجتماع دو مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۸۰۰60Union of sets
تفاضل مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۰۹۰۰61Difference of sets
مجموعه ۰۰۱-۰۰۲-۰۰۱/۰۹۰۰62Set
متمم مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۰۰۰63Complement of stes
در مجموعه بودن ۰۰۱-۰۰۲-۰۰۱/۱۰۰۰64Membership
مجموعه توانی ۰۰۱-۰۰۲-۰۰۱/۱۱۰۰65Power set
تعلق ۰۰۱-۰۰۲-۰۰۱/۱۱۰۰66Belonging
افراز مجموعه ۰۰۱-۰۰۲-۰۰۱/۱۲۰۰67Partition of set
عضو ۰۰۱-۰۰۲-۰۰۱/۱۲۰۰68Member
مجموعه اعداد طبیعی ۰۰۱-۰۰۲-۰۰۱/۱۳۰۰69Set of natural number
عنصر ۰۰۱-۰۰۲-۰۰۱/۱۳۰۰70Element
مجموعه اعداد صحیح ۰۰۱-۰۰۲-۰۰۱/۱۴۰۰71Set of integer number
∈ ۰۰۱-۰۰۲-۰۰۱/۱۴۰۰72Belonging
نظریه مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۵۰۰73Set theory
مجموعه اعداد گویا ۰۰۱-۰۰۲-۰۰۱/۱۵۰۰74Set of rational number
نظریه مجموعه‌های بی‌نهایت ۰۰۱-۰۰۲-۰۰۱/۱۶۰۰75Infinite Set Theory
اعداد گنگ ۰۰۱-۰۰۲-۰۰۱/۱۶۰۰76Irrational numbers
نظریه طبیعی مجموعه‌ها ۰۰۱-۰۰۲-۰۰۱/۱۷۰۰77**No Eng Tit**
مجموعه اعداد حقیقی ۰۰۱-۰۰۲-۰۰۱/۱۷۰۰78Set of real number
ZF ۰۰۱-۰۰۲-۰۰۱/۱۸۰۰79Zermelo-Fraenkel system
NBG ۰۰۱-۰۰۲-۰۰۱/۱۹۰۰80Neumann-Bernays-Godel system
ZFC ۰۰۱-۰۰۲-۰۰۱/۲۰۰۰81Zermelo-Fraenkel system with Choice function
ZF+C ۰۰۱-۰۰۲-۰۰۱/۲۱۰۰82Zermelo-Fraenkel system with Choice function
NBG ۰۰۱-۰۰۲-۰۰۱/۲۲۰۰83**No Eng Tit**
ZFC ۰۰۱-۰۰۲-۰۰۱/۲۳۰۰84**No Eng Tit**
زنجیره عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۲-۰۰۱/۲۴۰۰85Infinite descending ∈-chains
خوش-بنیاد ۰۰۱-۰۰۲-۰۰۱/۲۵۰۰86Well founded
کلاس ۰۰۱-۰۰۲-۰۰۱/۲۶۰۰87Class
خانواده-مجموعه ۰۰۱-۰۰۲-۰۰۱/۲۷۰۰88Family of sets
کلاس ۰۰۱-۰۰۲-۰۰۱/۲۸۰۰89Class
کلاس و مجموعه‌ در NBG ۰۰۱-۰۰۲-۰۰۱/۲۹۰۰90Class and Set in NBG
کلاس سره ۰۰۱-۰۰۲-۰۰۱/۳۰۰۰91Proper class
کلاس ناسره ۰۰۱-۰۰۲-۰۰۱/۳۱۰۰92Improper class
مهمل انتزاعی ۰۰۱-۰۰۲-۰۰۱/۳۲۰۰93Abstract Nonsense
کتگوری ۰۰۱-۰۰۲-۰۰۱/۳۳۰۰94Category
نظریه کتگوری ۰۰۱-۰۰۲-۰۰۱/۳۴۰۰95Category Theory
چیز ۰۰۱-۰۰۲-۰۰۱/۳۵۰۰96Object
پیکانه ۰۰۱-۰۰۲-۰۰۱/۳۶۰۰97Arrow
ساختار ۰۰۱-۰۰۳-۰۰۱/۰۱۰۰98Structure
متغیر مجموعه‌ای ۰۰۱-۰۰۳-۰۰۱/۰۱۰۰99Variable in set theory
نمادهای کمکی ۰۰۱-۰۰۳-۰۰۱/۰۲۰100Axillary symbols
عالم سخن ۰۰۱-۰۰۳-۰۰۱/۰۲۰101Universe of Discourse
دوتایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۳۰102Ordered pairs
فرمول‌ خوش-ساخت در مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۰۳۰103Well-formed formula in set theory
رویداد آزاد ۰۰۱-۰۰۳-۰۰۱/۰۴۰104Free occurrence of a variable
سه‌تایی مرتب ۰۰۱-۰۰۳-۰۰۱/۰۴۰105Ordered Triples
n تایی‌ مرتب ۰۰۱-۰۰۳-۰۰۱/۰۵۰106Ordered n-ary
رویداد پابند ۰۰۱-۰۰۳-۰۰۱/۰۵۰107Bound occurrence of a variable
شرط ۰۰۱-۰۰۳-۰۰۱/۰۶۰108Condition
ضرب دکارتی ۰۰۱-۰۰۳-۰۰۱/۰۶۰109Cartesian product
رابطه ۰۰۱-۰۰۳-۰۰۱/۰۷۰110Relation
ویژگی ۰۰۱-۰۰۳-۰۰۱/۰۷۰111Property
اصل موضوع گسترش در ZF ۰۰۱-۰۰۳-۰۰۱/۰۸۰112Axiom of extension in ZF
رابطه nتایی ۰۰۱-۰۰۳-۰۰۱/۰۸۰113N-ari relation
رابطه وارون ۰۰۱-۰۰۳-۰۰۱/۰۹۰114Inversed Relation
مجموعه‌ها ‌مساوی ۰۰۱-۰۰۳-۰۰۱/۰۹۰115Equal Sets
شمای اصل موضوعی جدایی در ZF ۰۰۱-۰۰۳-۰۰۱/۱۰۰116Axiom Schema of separation in ZF
رابطه تهی ۰۰۱-۰۰۳-۰۰۱/۱۰۰117Empty relation
دامنه رابطه ۰۰۱-۰۰۳-۰۰۱/۱۱۰118Domain of relation
شِمای ویژه ‌یافتگی ۰۰۱-۰۰۳-۰۰۱/۱۱۰119Axiom Schema of Specification
شمای گیرایش ۰۰۱-۰۰۳-۰۰۱/۱۲۰120Comprehension Schema
قلمرو رابطه ۰۰۱-۰۰۳-۰۰۱/۱۲۰121Range of relation
میدان رابطه ۰۰۱-۰۰۳-۰۰۱/۱۳۰122Field of relation
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۳۰123Russell’s paradox
پارادوکس راسل ۰۰۱-۰۰۳-۰۰۱/۱۴۰124Russell’s paradox
ترکیب رابطه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۴۰125Composition of relations
رابطه همانندی ۰۰۱-۰۰۳-۰۰۱/۱۵۰126Identity relation
مجموعه‌ی همه مجموعه‌ها ۰۰۱-۰۰۳-۰۰۱/۱۵۰127Set of sets
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۶۰128Subset
رابطه تساوی ۰۰۱-۰۰۳-۰۰۱/۱۶۰129Equality relation
رابطه قطری ۰۰۱-۰۰۳-۰۰۱/۱۷۰130Diagonal elation
⊆ ۰۰۱-۰۰۳-۰۰۱/۱۷۰131Subset
زیرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۸۰132Subset
تحدید رابطه ۰۰۱-۰۰۳-۰۰۱/۱۸۰133Restriction of Relations
رابطه بازتابی ۰۰۱-۰۰۳-۰۰۱/۱۹۰134Reflexive relation
زَبرمجموعه ۰۰۱-۰۰۳-۰۰۱/۱۹۰135Superset
زیرمجموعه سره ۰۰۱-۰۰۳-۰۰۱/۲۰۰136Proper Subset
رابطه متقارن ۰۰۱-۰۰۳-۰۰۱/۲۰۰137Symetric relation
رابطه پادمتقارن ۰۰۱-۰۰۳-۰۰۱/۲۱۰138Antisymetric relation
⊂ ۰۰۱-۰۰۳-۰۰۱/۲۱۰139Proper Subset
زیرمجموعه ناسره ۰۰۱-۰۰۳-۰۰۱/۲۲۰140Improper Subset
رابطه ترایایی ۰۰۱-۰۰۳-۰۰۱/۲۲۰141Transitive relation
رابطه ترتیبی ۰۰۱-۰۰۳-۰۰۱/۲۳۰142Order relation
اصل موضوع وجودی در ZF ۰۰۱-۰۰۳-۰۰۱/۲۳۰143Axiom of Existence in ZF
مجموعه تهی ۰۰۱-۰۰۳-۰۰۱/۲۴۰144Empty set
مجموعه مرتب جزئی ۰۰۱-۰۰۳-۰۰۱/۲۴۰145Partial ordered set
کوچک‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۵۰146Smallest element
اصل وجودی ضعیف ۰۰۱-۰۰۳-۰۰۱/۲۵۰147Weaken axiom of existence
∅ ۰۰۱-۰۰۳-۰۰۱/۲۶۰148Empty set
اولین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۶۰149Fist element
بزرگ‌ترین عنصر ۰۰۱-۰۰۳-۰۰۱/۲۷۰150Greatest element
درستی تهی ۰۰۱-۰۰۳-۰۰۱/۲۷۰151Vacuous Truth
درست پوچ ۰۰۱-۰۰۳-۰۰۱/۲۸۰152Vacuous Truth
عنصر آخرین ۰۰۱-۰۰۳-۰۰۱/۲۸۰153Last element
نمودار هس ۰۰۱-۰۰۳-۰۰۱/۲۹۰154Hasse diagram
صدق تهی ۰۰۱-۰۰۳-۰۰۱/۲۹۰155Vacuous Truth
سالبه به انتفای موضوع ۰۰۱-۰۰۳-۰۰۱/۳۰۰156Vacuous Truth
ترتیب واژه نویسی) ۰۰۱-۰۰۳-۰۰۱/۳۰۰157Lexicographic
مقایسه پذیر ۰۰۱-۰۰۳-۰۰۱/۳۱۰158Comparability
مقایسه ناپذیر ۰۰۱-۰۰۳-۰۰۱/۳۲۰159Incomparable
مجموعه مرتب کامل ۰۰۱-۰۰۳-۰۰۱/۳۳۰160Total ordered set
رابطه ترتیبی کامل در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۴۰161Total ordering relation in sets
ترتیب خطی در مجموعه ۰۰۱-۰۰۳-۰۰۱/۳۵۰162Linear ordering in sets
مجموعه خوش‌-ترتیب ۰۰۱-۰۰۳-۰۰۱/۳۶۰163Well ordered set
اصل خوش‌ترتیبی ۰۰۱-۰۰۳-۰۰۱/۳۷۰164Well-ordering principle
رابطه هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۸۰165Equivalent relation
کلاس‌های هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۳۹۰166Equivalence class
نمایندگی کلاس هم‌ارزی ۰۰۱-۰۰۳-۰۰۱/۴۰۰167Representative of the equivalence class
کلاس خارج قسمت ۰۰۱-۰۰۳-۰۰۱/۴۱۰168Quotient class
𝒞A/R ۰۰۱-۰۰۳-۰۰۱/۴۲۰169C/AR
رابطه هم‌نهشتی ۰۰۱-۰۰۳-۰۰۱/۴۳۰170Congruence relation
تابع ۰۰۱-۰۰۴-۰۰۱/۰۱۰171function
اصل موضوع دوگانه‌ساز درZF ۰۰۱-۰۰۴-۰۰۱/۰۱۰172Pairing axiom in zfc
نگاشت ۰۰۱-۰۰۴-۰۰۱/۰۲۰173Mapping
دوتایی نامرتب ۰۰۱-۰۰۴-۰۰۱/۰۲۰174Unordered pair
مجموعه تکینه ۰۰۱-۰۰۴-۰۰۱/۰۳۰175Singleton set
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۰۳۰176Total function
(X,Y) ۰۰۱-۰۰۴-۰۰۱/۰۴۰177Ordered pairs
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۰۴۰178Domain of function
مجموعه آغازی تابع ۰۰۱-۰۰۴-۰۰۱/۰۵۰179Departure set of funtion
<X,Y> ۰۰۱-۰۰۴-۰۰۱/۰۵۰180Ordered pairs
برد تابع ۰۰۱-۰۰۴-۰۰۱/۰۶۰181Range of function
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۶۰182Ordered pair
دوتایی مرتب ۰۰۱-۰۰۴-۰۰۱/۰۷۰183Ordered pair
قلمرو تابع ۰۰۱-۰۰۴-۰۰۱/۰۷۰184Co-domain of function
مجموعه انجامی تابع ۰۰۱-۰۰۴-۰۰۱/۰۸۰185Destination set of funtion
مجموعه اجتماع‌ ۰۰۱-۰۰۴-۰۰۱/۰۸۰186Union set
مقدار تابع ۰۰۱-۰۰۴-۰۰۱/۰۹۰187Value of function
∪(A) ۰۰۱-۰۰۴-۰۰۱/۰۹۰188Union set
اصل موضوع اجتماع درZF ۰۰۱-۰۰۴-۰۰۱/۱۰۰189Axiom of Union
تابع یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۰۰190One-to-one function
انژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۱۰191Injective
اجتماع مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۱۰192Union of sets
درونی ۰۰۱-۰۰۴-۰۰۱/۱۲۰193Embedded
∪ ۰۰۱-۰۰۴-۰۰۱/۱۲۰194Union of sets of sets
مجموعه تالی بی‌واسطه ۰۰۱-۰۰۴-۰۰۱/۱۳۰195Immediate successor set
۱:۱ ۰۰۱-۰۰۴-۰۰۱/۱۳۰1961:1
تابع پوشا ۰۰۱-۰۰۴-۰۰۱/۱۴۰197Surjective function
X+ ۰۰۱-۰۰۴-۰۰۱/۱۴۰198Immediate successor set
سابجکتیو ۰۰۱-۰۰۴-۰۰۱/۱۵۰199Surjective
مجموعه استقرایی ۰۰۱-۰۰۴-۰۰۱/۱۵۰200Inductive Set
قدر مشترک‌ ۰۰۱-۰۰۴-۰۰۱/۱۶۰201Intersection set
تابع دو سویی ۰۰۱-۰۰۴-۰۰۱/۱۶۰202Bijective function
∩(A) ۰۰۱-۰۰۴-۰۰۱/۱۷۰203Intersection set
بیژکتیو ۰۰۱-۰۰۴-۰۰۱/۱۷۰204Bijective
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۱۸۰205Inverse function
اشتراک مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۱۸۰206Intersection of sets
تناظر یک‌به‌یک ۰۰۱-۰۰۴-۰۰۱/۱۹۰207One to one correspondence
∩ ۰۰۱-۰۰۴-۰۰۱/۱۹۰208Intersection of sets
ازهم جدا ۰۰۱-۰۰۴-۰۰۱/۲۰۰209Disjoint sets
تابع همانی ۰۰۱-۰۰۴-۰۰۱/۲۰۰210Identity function
تفاضل دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۱۰211Difference of sets
تابع ثابت ۰۰۱-۰۰۴-۰۰۱/۲۱۰212Constant function
A \ B ۰۰۱-۰۰۴-۰۰۱/۲۲۰213Difference of sets
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۲۲۰214Set of functions
تابع وارون ۰۰۱-۰۰۴-۰۰۱/۲۳۰215Inverse function
تفاضل متقارن دو مجموعه‌ ۰۰۱-۰۰۴-۰۰۱/۲۳۰216Symmetric Difference of sets
نگاشت وارون ۰۰۱-۰۰۴-۰۰۱/۲۴۰217Inverse Mapping
A ∆ B ۰۰۱-۰۰۴-۰۰۱/۲۴۰218Symmetric Difference of sets
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۵۰219Power set
تابع و رابطه ۰۰۱-۰۰۴-۰۰۱/۲۵۰220Function and relation
Ƥ(A) ۰۰۱-۰۰۴-۰۰۱/۲۶۰221Intersection set
از تابع به رابطه ۰۰۱-۰۰۴-۰۰۱/۲۶۰222From function to relation
مجموعه توانی‌ ۰۰۱-۰۰۴-۰۰۱/۲۷۰223Power set
گراف تابع ۰۰۱-۰۰۴-۰۰۱/۲۷۰224Graph of function
اصل موضوع مجموعه توانی درZF ۰۰۱-۰۰۴-۰۰۱/۲۸۰225Axiom of Power set
توابع سازگار ۰۰۱-۰۰۴-۰۰۱/۲۸۰226Compatible functions
توابع هم‌ارز ۰۰۱-۰۰۴-۰۰۱/۲۹۰227Equivalent functions
اصل توان ضعیف ۰۰۱-۰۰۴-۰۰۱/۲۹۰228Weak power axiom
تابع مشخصه ۰۰۱-۰۰۴-۰۰۱/۳۰۰229Characteristic function
ضرب دکارتی مجموعه‌ها ۰۰۱-۰۰۴-۰۰۱/۳۰۰230Cartesian product of sets
A×B ۰۰۱-۰۰۴-۰۰۱/۳۱۰231Cartesian product of sets
تابع نشانگر ۰۰۱-۰۰۴-۰۰۱/۳۱۰232Indicator Function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۲۰233Function
تابع مشخصه رابطه ۰۰۱-۰۰۴-۰۰۱/۳۲۰234Characteristic function of relation
تابع ۰۰۱-۰۰۴-۰۰۱/۳۳۰235Function
تابع جزئی ۰۰۱-۰۰۴-۰۰۱/۳۳۰236Partial function
دامنه تابع ۰۰۱-۰۰۴-۰۰۱/۳۴۰237Domian of function in ZF
تابع کامل ۰۰۱-۰۰۴-۰۰۱/۳۴۰238Total function
برد تابع ۰۰۱-۰۰۴-۰۰۱/۳۵۰239Range of function in ZF
تحدید تابع ۰۰۱-۰۰۴-۰۰۱/۳۵۰240Restriction of a function
تابع ۰۰۱-۰۰۴-۰۰۱/۳۶۰241Function
گسترش تابع ۰۰۱-۰۰۴-۰۰۱/۳۶۰242Extension of a function
هم‌ دامنه ۰۰۱-۰۰۴-۰۰۱/۳۷۰243Codomain
توسیع تابع ۰۰۱-۰۰۴-۰۰۱/۳۷۰244Extension of a function
مجموعه همه توابع ۰۰۱-۰۰۴-۰۰۱/۳۸۰245Set of functions
خانواده فهرست‌شده ۰۰۱-۰۰۴-۰۰۱/۳۸۰246Indexed family
فهرست‌گر خانواده مجموعه ۰۰۱-۰۰۴-۰۰۱/۳۹۰247Index set
تعمیم اجتماع و اشتراک ۰۰۱-۰۰۴-۰۰۱/۴۰۰248Generalized unions and intersections
ترکیبتوابع ۰۰۱-۰۰۴-۰۰۱/۴۱۰249Function composition
ویژگی‌های ترکیب توابع ۰۰۱-۰۰۴-۰۰۱/۴۲۰250Properties of composition of functions.
دنباله ۰۰۱-۰۰۴-۰۰۱/۴۳۰251Sequence
دنباله فیبوناچی ۰۰۱-۰۰۴-۰۰۱/۴۴۰252Fibonacci sequence
اصل موضوع بی‌نهایت در ZF ۰۰۱-۰۰۵-۰۰۱/۰۱۰253Axiom of infinity in ZFC
متناهی و نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۱۰254Finite and infinite
ω ۰۰۱-۰۰۵-۰۰۱/۰۲۰255ω
مجموعه نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۲۰256Infinite set
مجموعه متناهی ۰۰۱-۰۰۵-۰۰۱/۰۳۰257Finite set
مجموعه اعداد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۳۰258The set of Natural numbers
شمارایی و کاردینال ۰۰۱-۰۰۵-۰۰۱/۰۴۰259Countability and cardinality
۰۰۱-۰۰۵-۰۰۱/۰۴۰260ℕ
عدد طبیعی ۰۰۱-۰۰۵-۰۰۱/۰۵۰261Natural number
مجموعه شمارا ۰۰۱-۰۰۵-۰۰۱/۰۵۰262Countable set
اکیداً کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۶۰263Strictly smaller
شمارش پذیر ۰۰۱-۰۰۵-۰۰۱/۰۶۰264Countable set
برشمردن ۰۰۱-۰۰۵-۰۰۱/۰۷۰265Enumerate
کوچک‌تر ۰۰۱-۰۰۵-۰۰۱/۰۷۰266Smaller
کوچک‌ترین ۰۰۱-۰۰۵-۰۰۱/۰۸۰267Smallest
مجموعه ناشمارا ۰۰۱-۰۰۵-۰۰۱/۰۸۰268Uncountable set
شمارای نامتناهی ۰۰۱-۰۰۵-۰۰۱/۰۹۰269Denumerable
مجموعه تراگذر ۰۰۱-۰۰۵-۰۰۱/۰۹۰270Transitive Set
شمارش‌پذیری اعداد گویا ۰۰۱-۰۰۵-۰۰۱/۱۰۰271Countability of rational numbers
دنباله عناصر ۰۰۱-۰۰۵-۰۰۱/۱۰۰272Sequence of elements
تابع جفت سازی استاندارد ۰۰۱-۰۰۵-۰۰۱/۱۱۰273Standard Pairing Function
شمای اصل موضوعی جایگزینی در ZF ۰۰۱-۰۰۵-۰۰۱/۱۱۰274Axiom Schema of Replacement
عدد جبری ۰۰۱-۰۰۵-۰۰۱/۱۲۰275Algebraic number
قضیه نقطه برجا ۰۰۱-۰۰۵-۰۰۱/۱۲۰276Fixed point theorem
عدد تراگذری ۰۰۱-۰۰۵-۰۰۱/۱۳۰277Transcendental number
قضیه بازگشت ۰۰۱-۰۰۵-۰۰۱/۱۳۰278Recursion theorem
برهان قطری کانتور ۰۰۱-۰۰۵-۰۰۱/۱۴۰279Cantor's diagonal argumentan
سلسله‌مراتب تجمعی مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۴۰280Cumulative hierarchy of sets
جهان فون نویمان ۰۰۱-۰۰۵-۰۰۱/۱۵۰281Von Neumann universe
سازگاری و ناتمامیت ZF ۰۰۱-۰۰۵-۰۰۱/۱۶۰282Consistency and incompleteness of ZF
قضیه‌های اول و دوم ناتمامیت گودل در نظریه مجموعه‌ها ۰۰۱-۰۰۵-۰۰۱/۱۷۰283Incompleteness in set theory
عنصر کمینهٔ عضویتی ۰۰۱-۰۰۵-۰۰۱/۱۸۰284Minimal elements of membership
عنصر -∈کمینه ۰۰۱-۰۰۵-۰۰۱/۱۹۰285∈-minimal element
اصل موضوع بنیاد در ZF ۰۰۱-۰۰۵-۰۰۱/۲۰۰286Axiom of foundation in ZFC
اصل ترازمندی ۰۰۱-۰۰۵-۰۰۱/۲۱۰287Axiom of Regularity
زنجیره عضویتی کاهنده ۰۰۱-۰۰۵-۰۰۱/۲۲۰288Descending ∈-chain
زنجیره‌ عضویتی کاهنده بی‌پایان ۰۰۱-۰۰۵-۰۰۱/۲۳۰289Infinite descending ∈-chain
خوش-بنیاد ۰۰۱-۰۰۵-۰۰۱/۲۴۰290Well founded
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۱۰291NBG Axiomatic System
اصل موضوع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۱۰292Axiom of Choice
AC ۰۰۱-۰۰۶-۰۰۱/۰۲۰293Axiom of Choice
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۲۰294Class in NBG
دستگاه اصل موضوعی NBG ۰۰۱-۰۰۶-۰۰۱/۰۳۰295Von Neumann-Bernays-Godel set theory
تابع انتخاب ۰۰۱-۰۰۶-۰۰۱/۰۳۰296Choice function
قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۴۰297Well ordering theorem
کلاس ۰۰۱-۰۰۶-۰۰۱/۰۴۰298Class in NBG
∈ ۰۰۱-۰۰۶-۰۰۱/۰۵۰299Membership in NBG
قضیه زیملو ۰۰۱-۰۰۶-۰۰۱/۰۵۰300Zermelo theorem
هم‌ارزی اصل انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۶-۰۰۱/۰۶۰301Equivalence of the choice axiom and well-ordering theorem
کلاس سره ۰۰۱-۰۰۶-۰۰۱/۰۶۰302Proper class
کلاس ناسره ۰۰۱-۰۰۶-۰۰۱/۰۷۰303Improper class
اصل موضوع انتخاب وابسته ۰۰۱-۰۰۶-۰۰۱/۰۷۰304Axiom of Dependent Choice
عنصر ۰۰۱-۰۰۶-۰۰۱/۰۸۰305Elemen in NBG
تساوی کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۰۹۰306Equality in Classes
اصل گسترش ۰۰۱-۰۰۶-۰۰۱/۱۰۰307Axiom of Extension
شمای اصل موضوعی ساخت ۰۰۱-۰۰۶-۰۰۱/۱۱۰308Axiom Schema of Construction
شمای اصل موضوعی کلاس ساز ۰۰۱-۰۰۶-۰۰۱/۱۲۰309Axiom Schema of class builder
زیرکلاس ۰۰۱-۰۰۶-۰۰۱/۱۳۰310Subclass
زیرکلاس سره ۰۰۱-۰۰۶-۰۰۱/۱۴۰311Proper Subclass
مجموعه ۰۰۱-۰۰۶-۰۰۱/۱۵۰312Set in NBG
کلاس تهی ۰۰۱-۰۰۶-۰۰۱/۱۶۰313Empty Class
کلاس جهانی ۰۰۱-۰۰۶-۰۰۱/۱۷۰314Universal Class
اجتماع کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۸۰315Union of classes
اشتراک کلاس‌ها ۰۰۱-۰۰۶-۰۰۱/۱۹۰316Intersection of classes
متمم کلاس ۰۰۱-۰۰۶-۰۰۱/۲۰۰317Complement of classes
اصل موضوع اشتراک ۰۰۱-۰۰۶-۰۰۱/۲۱۰318Axiom of Intersection
اصل تهی ۰۰۱-۰۰۶-۰۰۱/۲۲۰319Axiom of Null
اصل دوگانه سازی ۰۰۱-۰۰۶-۰۰۱/۲۳۰320Axiom of pairing
اصل اجتماع ۰۰۱-۰۰۶-۰۰۱/۲۴۰321Axiom of union
اصل توان ۰۰۱-۰۰۶-۰۰۱/۲۵۰322Axiom of power
مجموعه توانی ۰۰۱-۰۰۶-۰۰۱/۲۶۰323Power Set
اصل ترازمندی ۰۰۱-۰۰۶-۰۰۱/۲۷۰324Axiom of Regularity
اصل بنیاد ۰۰۱-۰۰۶-۰۰۱/۲۸۰325Axiom of Regularity
اصل جایگزینی ۰۰۱-۰۰۶-۰۰۱/۲۹۰326Replacement Axiom
نامتناهی بالقوه ۰۰۱-۰۰۷-۰۰۱/۰۱۰327Potentially infinite
نامتناهی واقعی ۰۰۱-۰۰۷-۰۰۱/۰۲۰328Actually infinite
دو مجموعه هم‌عدد ۰۰۱-۰۰۷-۰۰۱/۰۳۰329Equinumerous sets
قضیه کانتور ۰۰۱-۰۰۷-۰۰۱/۰۴۰330Cantor's theorem
قضیه شرودر برنشتاین ۰۰۱-۰۰۷-۰۰۱/۰۵۰331Schroder bernstein theorem
مقایسه پذیری مجموعه‌ها ۰۰۱-۰۰۷-۰۰۱/۰۶۰332Comparability theorem
فرض پیوستار ۰۰۱-۰۰۷-۰۰۱/۰۷۰333Continuum hypothesis
فرض پیوستار عام ۰۰۱-۰۰۷-۰۰۱/۰۸۰334Generalized continuum hypothesis
هم‌ارزی فرض پیوستار عام و اصل موضوع انتخاب ۰۰۱-۰۰۷-۰۰۱/۰۹۰335**No Eng Tit**
هم‌ارزی فرض پیوستار عام، اصل موضوع انتخاب و قضیه خوش-ترتیبی ۰۰۱-۰۰۷-۰۰۱/۱۰۰336**No Eng Tit**
درستی یا نادرستی فرض‌های پیوستار ۰۰۱-۰۰۷-۰۰۱/۱۱۰337Truth and untruth of continuum hypothesizes
کاردینال ۰۰۱-۰۰۷-۰۰۱/۱۲۰338Cardinal
ℵ ۰۰۱-۰۰۷-۰۰۱/۱۳۰339Alef
کاردینال نامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۴۰340Infinite Cardinal
عدد ترانسفینی ۰۰۱-۰۰۷-۰۰۱/۱۵۰341Transfinite Numbers
عدد بیکران ۰۰۱-۰۰۷-۰۰۱/۱۶۰342Transfinite Numbers
ترامتناهی ۰۰۱-۰۰۷-۰۰۱/۱۷۰343Transfinite Numbers
کاردینال مجموعه تهی ۰۰۱-۰۰۷-۰۰۱/۱۸۰344Cardinality of empty set
کاردینال مجموعه متناهی ۰۰۱-۰۰۷-۰۰۱/۱۹۰345Finite Cardinal
عدد کراندار ۰۰۱-۰۰۷-۰۰۱/۲۰۰346Finite Numbers
اعداد متناهی ۰۰۱-۰۰۷-۰۰۱/۲۱۰347Finite Numbers
پارادوکس کانتور ۰۰۱-۰۰۷-۰۰۱/۲۲۰348Cantor’s paradox
جمع کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۳۰349Sum of Ordinal numbers
ضرب کاردینال‌ها ۰۰۱-۰۰۷-۰۰۱/۲۴۰350Product of Ordinal numbers
بازگشت ۰۰۱-۰۰۸-۰۰۱/۰۱۰351Recursion
استقرا ۰۰۱-۰۰۸-۰۰۱/۰۲۰352Induction
گام پایه ۰۰۱-۰۰۸-۰۰۱/۰۳۰353Base Step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۴۰354Inductive step
گام پایه ۰۰۱-۰۰۸-۰۰۱/۰۵۰355Base Step
قاعده بازگشتی ۰۰۱-۰۰۸-۰۰۱/۰۶۰356Inductive step
بازگشت و استقرا ۰۰۱-۰۰۸-۰۰۱/۰۷۰357Induction and recursion
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۸۰358Inductive definition
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۰۹۰359Inductive step
پایین به بالا ۰۰۱-۰۰۸-۰۰۱/۱۰۰360Bottom up
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۱۰361Recursive definition
بالا به پایین ۰۰۱-۰۰۸-۰۰۱/۱۲۰362Top down
تعریف بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۳۰363Recursion definition
نظریه توابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۱۴۰364Theory of recursive functions
تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۵۰365Inductive definition
روش تعریف استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۶۰366Method of Inductive definition
گام پایه‌ای استقرا‌ ۰۰۱-۰۰۸-۰۰۱/۱۷۰367Induction Base Step
گام استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۸۰368Inductive step
پرش استقرایی ۰۰۱-۰۰۸-۰۰۱/۱۹۰369Inductive step
دنباله فیبوناچی ۰۰۱-۰۰۸-۰۰۱/۲۰۰370Fibonacci sequence
اصل استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۲۱۰371Mathematical induction principle
استقرای کامل ۰۰۱-۰۰۸-۰۰۱/۲۲۰372Complete induction
هم‌ارزی اصل استقرای ریاضی، استقرای ریاضی کامل و خوش-ترتیبی ۰۰۱-۰۰۸-۰۰۱/۲۳۰373Equivalence of Well-Ordering Principle and Induction
استقرای ریاضی ۰۰۱-۰۰۸-۰۰۱/۲۴۰374Mathematical induction
مجموعه بازگشتی ۰۰۱-۰۰۸-۰۰۱/۲۵۰375Recursive set
عنصر سازنده ۰۰۱-۰۰۸-۰۰۱/۲۶۰376Constructive element
تابع تالی ۰۰۱-۰۰۸-۰۰۱/۲۷۰377Successor function
استقرای ساختاری ۰۰۱-۰۰۸-۰۰۱/۲۸۰378Structural Induction
تابع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۲۹۰379Recursive functions
تابع جمع بازگشتی ۰۰۱-۰۰۸-۰۰۱/۳۰۰380Recursive sum function
تابع ضرب بازگشتی ۰۰۱-۰۰۸-۰۰۱/۳۱۰381Recursive multiplication function
بزرگترین مقسوم علیه مشترک ۰۰۱-۰۰۸-۰۰۱/۳۲۰382Greatest Common Divisor
معمای برج هانوی ۰۰۱-۰۰۸-۰۰۱/۳۳۰383Tower of Hanoi puzzle
الفبا ۰۰۱-۰۰۹-۰۰۱/۰۱۰384Alphabet
حروف الفبا ۰۰۱-۰۰۹-۰۰۱/۰۲۰385Alphabet letters
رشته‌ ۰۰۱-۰۰۹-۰۰۱/۰۳۰386string
حرف خالی ۰۰۱-۰۰۹-۰۰۱/۰۴۰387Empty letter
پاره آغازی ۰۰۱-۰۰۹-۰۰۱/۰۵۰388Initial segment
پاره آغازی سره ۰۰۱-۰۰۹-۰۰۱/۰۶۰389Proper initial segment
پاره پایانی ۰۰۱-۰۰۹-۰۰۱/۰۷۰390Final segement
الحاق رشته ۰۰۱-۰۰۹-۰۰۱/۰۸۰391String concatenation
عبارت ۰۰۱-۰۰۹-۰۰۱/۰۹۰392Expression
طول عبارت ۰۰۱-۰۰۹-۰۰۱/۱۰۰393Expression length
واژگان ابتدایی ۰۰۱-۰۰۹-۰۰۱/۱۱۰394Primitive_vocabulary
زبان ۰۰۱-۰۰۹-۰۰۱/۱۲۰395Language
جهان سخن ۰۰۱-۰۱۰-۰۰۱/۰۱۰396Universe of Discourse
دامنه سخن ۰۰۱-۰۱۰-۰۰۱/۰۲۰397Universe of Discourse
ایزومورفیک ۰۰۱-۰۱۰-۰۰۱/۰۳۰398Isomorphic
یکریخت ۰۰۱-۰۱۰-۰۰۱/۰۴۰399Isomorphic
ساختار نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۵۰400Structure Preserving
ایزومورفیسم ۰۰۱-۰۱۰-۰۰۱/۰۶۰401Isomorphism
یکریختی ۰۰۱-۰۱۰-۰۰۱/۰۷۰402Isomorphism
≅ ۰۰۱-۰۱۰-۰۰۱/۰۸۰403≅
نگاشت ترتیب نگهدار ۰۰۱-۰۱۰-۰۰۱/۰۹۰404Order preserving map
یکریخت ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۰۰405Order-preserving isomorphic
عدد اردینال ۰۰۱-۰۱۰-۰۰۱/۱۱۰406Ordinal Number
عدد ترتیبی ۰۰۱-۰۱۰-۰۰۱/۱۲۰407Ordinal Number
رتبه‌های متناهی ۰۰۱-۰۱۰-۰۰۱/۱۳۰408Finite ordinals
رتبه‌های نامتناهی ۰۰۱-۰۱۰-۰۰۱/۱۴۰409Infinite ordinals
رتبه تالی ۰۰۱-۰۱۰-۰۰۱/۱۵۰410Successor ordinals
رتبه حدی ۰۰۱-۰۱۰-۰۰۱/۱۶۰411Limit ordinals
جمع اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۷۰412Ordinal Sum
ضرب اردینالی ۰۰۱-۰۱۰-۰۰۱/۱۸۰413Ordinal Product
◄ توجه: